Merge branch 'master' into doc-private
This commit is contained in:
commit
cbc3464a85
|
@ -19,5 +19,6 @@ Welcome to jbuilder's documentation!
|
||||||
usage
|
usage
|
||||||
advanced-topics
|
advanced-topics
|
||||||
configurator
|
configurator
|
||||||
|
menhir
|
||||||
faq
|
faq
|
||||||
known-issues
|
known-issues
|
||||||
|
|
|
@ -521,30 +521,8 @@ To use a different rule mode, use the long form:
|
||||||
menhir
|
menhir
|
||||||
------
|
------
|
||||||
|
|
||||||
The basic form for defining menhir parsers (analogous to ocamlyacc) is:
|
A ``menhir`` stanza is available to support the menhir_ parser generator. See
|
||||||
|
the :ref:`menhir-main` section for details.
|
||||||
.. code:: scheme
|
|
||||||
|
|
||||||
(menhir
|
|
||||||
((modules (<parser1> <parser2> ...))))
|
|
||||||
|
|
||||||
Modular parsers can be defined by adding a ``merge_into`` field. This correspond
|
|
||||||
to the ``--base`` command line option of ``menhir``. With this option, a single
|
|
||||||
parser named ``base_name`` is generated.
|
|
||||||
|
|
||||||
.. code:: scheme
|
|
||||||
|
|
||||||
(menhir
|
|
||||||
((merge_into <base_name>)
|
|
||||||
(modules (<parser1> <parser2> ...))))
|
|
||||||
|
|
||||||
Extra flags can be passed to menhir using the ``flags`` flag:
|
|
||||||
|
|
||||||
.. code:: scheme
|
|
||||||
|
|
||||||
(menhir
|
|
||||||
((flags (<option1> <option2> ...))
|
|
||||||
(modules (<parser1> <parser2> ...))))
|
|
||||||
|
|
||||||
alias
|
alias
|
||||||
-----
|
-----
|
||||||
|
|
|
@ -0,0 +1,32 @@
|
||||||
|
.. _menhir-main:
|
||||||
|
|
||||||
|
******
|
||||||
|
Menhir
|
||||||
|
******
|
||||||
|
|
||||||
|
The basic form for defining menhir_ parsers (analogous to ocamlyacc) is:
|
||||||
|
|
||||||
|
.. code:: scheme
|
||||||
|
|
||||||
|
(menhir
|
||||||
|
((modules (<parser1> <parser2> ...))))
|
||||||
|
|
||||||
|
Modular parsers can be defined by adding a ``merge_into`` field. This correspond
|
||||||
|
to the ``--base`` command line option of ``menhir``. With this option, a single
|
||||||
|
parser named ``base_name`` is generated.
|
||||||
|
|
||||||
|
.. code:: scheme
|
||||||
|
|
||||||
|
(menhir
|
||||||
|
((merge_into <base_name>)
|
||||||
|
(modules (<parser1> <parser2> ...))))
|
||||||
|
|
||||||
|
Extra flags can be passed to menhir using the ``flags`` flag:
|
||||||
|
|
||||||
|
.. code:: scheme
|
||||||
|
|
||||||
|
(menhir
|
||||||
|
((flags (<option1> <option2> ...))
|
||||||
|
(modules (<parser1> <parser2> ...))))
|
||||||
|
|
||||||
|
.. _menhir: https://gitlab.inria.fr/fpottier/menhir
|
|
@ -1,7 +1,7 @@
|
||||||
open! Import
|
open! Import
|
||||||
|
|
||||||
module Name : sig
|
module Name : sig
|
||||||
type t = private string
|
type t
|
||||||
|
|
||||||
val add_suffix : t -> string -> t
|
val add_suffix : t -> string -> t
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue