<!DOCTYPE html>
<!--[if IE 8]><html class="no-js lt-ie9" lang="en" > <![endif]-->
<!--[if gt IE 8]><!--> <html class="no-js" lang="en" > <!--<![endif]-->
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Menhir — dune documentation</title>
<link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<link rel="index" title="Index" href="genindex.html" />
<link rel="search" title="Search" href="search.html" />
<link rel="next" title="FAQ" href="faq.html" />
<link rel="prev" title="Configurator" href="configurator.html" />
<script src="_static/js/modernizr.min.js"></script>
</head>
<body class="wy-body-for-nav">
<div class="wy-grid-for-nav">
<nav data-toggle="wy-nav-shift" class="wy-nav-side">
<div class="wy-side-scroll">
<div class="wy-side-nav-search">
<a href="index.html" class="icon icon-home"> dune
</a>
<div role="search">
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
<input type="text" name="q" placeholder="Search docs" />
<input type="hidden" name="check_keywords" value="yes" />
<input type="hidden" name="area" value="default" />
</form>
</div>
</div>
<div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="main navigation">
<ul class="current">
<li class="toctree-l1"><a class="reference internal" href="quick-start.html">Quickstart</a></li>
<li class="toctree-l1"><a class="reference internal" href="overview.html">Overview</a></li>
<li class="toctree-l1"><a class="reference internal" href="terminology.html">Terminology</a></li>
<li class="toctree-l1"><a class="reference internal" href="project-layout-specification.html">Project Layout and Metadata Specification</a></li>
<li class="toctree-l1"><a class="reference internal" href="dune-files.html">dune files</a></li>
<li class="toctree-l1"><a class="reference internal" href="tests.html">Writing and running tests</a></li>
<li class="toctree-l1"><a class="reference internal" href="documentation.html">Generating Documentation</a></li>
<li class="toctree-l1"><a class="reference internal" href="usage.html">Usage</a></li>
<li class="toctree-l1"><a class="reference internal" href="advanced-topics.html">Advanced topics</a></li>
<li class="toctree-l1"><a class="reference internal" href="configurator.html">Configurator</a></li>
<li class="toctree-l1 current"><a class="current reference internal" href="#">Menhir</a></li>
<li class="toctree-l1"><a class="reference internal" href="faq.html">FAQ</a></li>
<li class="toctree-l1"><a class="reference internal" href="known-issues.html">Known Issues</a></li>
<li class="toctree-l1"><a class="reference internal" href="migration.html">Migration</a></li>
</ul>
</div>
</div>
</nav>
<section data-toggle="wy-nav-shift" class="wy-nav-content-wrap">
<nav class="wy-nav-top" aria-label="top navigation">
<i data-toggle="wy-nav-top" class="fa fa-bars"></i>
<a href="index.html">dune</a>
</nav>
<div class="wy-nav-content">
<div class="rst-content">
<div role="navigation" aria-label="breadcrumbs navigation">
<ul class="wy-breadcrumbs">
<li><a href="index.html">Docs</a> »</li>
<li>Menhir</li>
<li class="wy-breadcrumbs-aside">
<a href="_sources/menhir.rst.txt" rel="nofollow"> View page source</a>
</li>
</ul>
<hr/>
</div>
<div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
<div itemprop="articleBody">
<div class="section" id="menhir">
<span id="menhir-main"></span><h1>Menhir<a class="headerlink" href="#menhir" title="Permalink to this headline">¶</a></h1>
<p>The basic form for defining <a class="reference external" href="https://gitlab.inria.fr/fpottier/menhir">menhir</a> parsers (analogous to ocamlyacc) is:</p>
<div class="code scheme highlight-default notranslate"><div class="highlight"><pre><span></span><span class="p">(</span><span class="n">menhir</span>
<span class="p">((</span><span class="n">modules</span> <span class="p">(</span><span class="o"><</span><span class="n">parser1</span><span class="o">></span> <span class="o"><</span><span class="n">parser2</span><span class="o">></span> <span class="o">...</span><span class="p">))))</span>
</pre></div>
</div>
<p>Modular parsers can be defined by adding a <code class="docutils literal notranslate"><span class="pre">merge_into</span></code> field. This correspond
to the <code class="docutils literal notranslate"><span class="pre">--base</span></code> command line option of <code class="docutils literal notranslate"><span class="pre">menhir</span></code>. With this option, a single
parser named <code class="docutils literal notranslate"><span class="pre">base_name</span></code> is generated.</p>
<div class="code scheme highlight-default notranslate"><div class="highlight"><pre><span></span><span class="p">(</span><span class="n">menhir</span>
<span class="p">((</span><span class="n">merge_into</span> <span class="o"><</span><span class="n">base_name</span><span class="o">></span><span class="p">)</span>
<span class="p">(</span><span class="n">modules</span> <span class="p">(</span><span class="o"><</span><span class="n">parser1</span><span class="o">></span> <span class="o"><</span><span class="n">parser2</span><span class="o">></span> <span class="o">...</span><span class="p">))))</span>
</pre></div>
</div>
<p>Extra flags can be passed to menhir using the <code class="docutils literal notranslate"><span class="pre">flags</span></code> flag:</p>
<div class="code scheme highlight-default notranslate"><div class="highlight"><pre><span></span><span class="p">(</span><span class="n">menhir</span>
<span class="p">((</span><span class="n">flags</span> <span class="p">(</span><span class="o"><</span><span class="n">option1</span><span class="o">></span> <span class="o"><</span><span class="n">option2</span><span class="o">></span> <span class="o">...</span><span class="p">))</span>
<span class="p">(</span><span class="n">modules</span> <span class="p">(</span><span class="o"><</span><span class="n">parser1</span><span class="o">></span> <span class="o"><</span><span class="n">parser2</span><span class="o">></span> <span class="o">...</span><span class="p">))))</span>
</pre></div>
</div>
</div>
</div>
</div>
<footer>
<div class="rst-footer-buttons" role="navigation" aria-label="footer navigation">
<a href="faq.html" class="btn btn-neutral float-right" title="FAQ" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right"></span></a>
<a href="configurator.html" class="btn btn-neutral" title="Configurator" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left"></span> Previous</a>
</div>
<hr/>
<div role="contentinfo">
<p>
© Copyright 2017, Jérémie Dimino
</p>
</div>
Built with <a href="http://sphinx-doc.org/">Sphinx</a> using a <a href="https://github.com/rtfd/sphinx_rtd_theme">theme</a> provided by <a href="https://readthedocs.org">Read the Docs</a>.
</footer>
</div>
</div>
</section>
</div>
<script type="text/javascript">
var DOCUMENTATION_OPTIONS = {
URL_ROOT:'./',
VERSION:'',
LANGUAGE:'None',
COLLAPSE_INDEX:false,
FILE_SUFFIX:'.html',
HAS_SOURCE: true,
SOURCELINK_SUFFIX: '.txt'
};
</script>
<script type="text/javascript" src="_static/jquery.js"></script>
<script type="text/javascript" src="_static/underscore.js"></script>
<script type="text/javascript" src="_static/doctools.js"></script>
<script type="text/javascript" src="_static/js/theme.js"></script>
<script type="text/javascript">
jQuery(function () {
SphinxRtdTheme.Navigation.enable(true);
});
</script>
</body>
</html>
distrib
>
Mageia
>
7
>
armv7hl
>
media
>
core-release
>
by-pkgid
>
f068986ecc5d051850d4ea04085e7314
>
files
>
85
