Scroll to navigation

MENHIR(1) General Commands Manual MENHIR(1)

NAME

menhir - an LR(1) parser generator for OCaml

SYNOPSIS

menhir [options] files

DESCRIPTION

menhir is an LR(1) parser generator for the OCaml programming language. That is, Menhir compiles LR(1) grammar specifications down to OCaml code. It is mostly compatible with ocamlyacc(1).

OPTIONS

Show summary of options.
Specifies a base name for the output file(s).
Construct a canonical Knuth LR(1) automaton.
Write the grammar and automaton to basename.cmly.
Include comments in the generated code.
Compare two .messages files.
Compile a .messages file to OCaml code.
Generate a formally verified parser, in Coq.
--coq-lib-path path
How to qualify references to MenhirLib.
--coq-lib-no-path
Do not qualify references to MenhirLib.
--coq-no-actions
Ignore semantic actions in the Coq output.
--coq-no-complete
Do not generate a proof of completeness.
Invoke ocamldep and display dependencies.
Describe the automaton in the file basename.automaton.
--dump-resolved
Describe the automaton, after conflict resolution, in the file basename.automaton.resolved.
Echo the sentences stored in the .messages file file.
Echo the sentences stored in the .messages file file in concrete syntax.
Declares Error of int. The exception Error then carries the number of the state where a syntax error is detected.
Explain conflicts in basename.conflicts.
Import token type definition from module.
Declares Error = Parsing.Parse_error.
Invoke ocamlc to do type inference.
--infer-protocol-supported
Stop with exit code 0.
--infer-write-query file
Write mock .ml file.
--infer-read-reply file
Read inferred .mli file.
Generate the inspection API.
Interpret the sentences provided on stdin.
--interpret-show-cst
Show a concrete syntax tree upon acceptance.
--interpret-error
Interpret an error sentence provided on stdin.
Construct an LALR(1) automaton.
Log information about the automaton.
Log information about the generated code.
Log information about the grammar.
Produce a list of erroneous inputs.
Merge two .messages files.
Disallow the use of $i notation.
Ignore the %inline keyword.
Do not load the standard library.
Specifies how ocamlc should be invoked.
Specifies how ocamldep should be invoked.
Print a simplified grammar and exit.
Print grammar in ocamlyacc format and exit.
Print grammar with unit actions and exit.
Print grammar with unit actions and tokens and exit.
Generate token type definition only, no code.
Set the seed used by the random sentence generator to seed.
Automatically set the seed used by the random sentence generator.
Ask the random sentence generator for a sentence of length at most length.
Produce a random sentence that is generated by the nonterminal symbol symbol.
Produce a random sentence that is generated by the nonterminal symbol symbol, and print this sentence in concrete syntax.
Invoke ocamldep and echo its raw output.
Check that every terminal symbol has a token alias.
Choose how to deal with the error token.
Warnings about the grammar are errors.
Suggest compilation flags for ocaml{c,opt}.
Suggest link flags for ocamlc.
Suggest link flags for ocamlopt.
Suggest where MenhirLib was installed in source form.
Use the table-based back-end.
Display internal timings.
--timings-to file
Dump internal timings into file.
Include tracing instructions in the generated code.
Do not warn about unused precedence levels.
Do not warn that token is unused.
Do not warn about any unused token.
Update auto-comments in a .messages file.
Show version number and exit.
Synonymous with --dump --explain.

SEE ALSO

ocaml(1).

AUTHOR

menhir was written by François Pottier and Yann Régis-Gianas.

This manual page was originally written by Samuel Mimram <smimram@debian.org> for the Debian project (but may be used by others).

July 3, 2018