FreeBSD Manual Pages
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 -h, --help Show summary of options. -b, --base basename Specifies a base name for the output file(s). --canonical Construct a canonical Knuth LR(1) automaton. --cmly Write the grammar and automaton to basename.cmly. --comment Include comments in the generated code. --compare-errors file1 --compare-errors file2 Compare two .messages files. --compile-errors file Compile a .messages file to OCaml code. --coq 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. --depend Invoke ocamldep and display dependencies. --dump Describe the automaton in the file basename.automaton. --dump-resolved Describe the automaton, after conflict resolution, in the file basename.automaton.resolved. --echo-errors file Echo the sentences stored in the .messages file file. --echo-errors-concrete file Echo the sentences stored in the .messages file file in concrete syntax. --exn-carries-state Declares Error of int. The exception Error then carries the num- ber of the state where a syntax error is detected. --explain Explain conflicts in basename.conflicts. --external-tokens module Import token type definition from module. --fixed-exception Declares Error = Parsing.Parse_error. --infer 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. --inspection Generate the inspection API. --interpret 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. --lalr Construct an LALR(1) automaton. -la, --log-automaton level Log information about the automaton. -lc, --log-code level Log information about the generated code. -lg, --log-grammar level Log information about the grammar. --list-errors Produce a list of erroneous inputs. --merge-errors file1 --merge-errors file2 Merge two .messages files. --no-dollars Disallow the use of $i notation. --no-inline Ignore the %inline keyword. --no-stdlib Do not load the standard library. --ocamlc command Specifies how ocamlc should be invoked. --ocamldep command Specifies how ocamldep should be invoked. --only-preprocess Print a simplified grammar and exit. --only-preprocess-for-ocamlyacc Print grammar in ocamlyacc format and exit. --only-preprocess-u Print grammar with unit actions and exit. --only-preprocess-uu Print grammar with unit actions and tokens and exit. --only-tokens Generate token type definition only, no code. --random-seed seed Set the seed used by the random sentence generator to seed. --random-self-init Automatically set the seed used by the random sentence genera- tor. --random-sentence-length length Ask the random sentence generator for a sentence of length at most length. --random-sentence symbol Produce a random sentence that is generated by the nonterminal symbol symbol. --random-sentence-concrete symbol Produce a random sentence that is generated by the nonterminal symbol symbol, and print this sentence in concrete syntax. --raw-depend Invoke ocamldep and echo its raw output. --require-aliases Check that every terminal symbol has a token alias. --strategy strategy Choose how to deal with the error token. --strict Warnings about the grammar are errors. --suggest-comp-flags Suggest compilation flags for ocaml{c,opt}. --suggest-link-flags-byte Suggest link flags for ocamlc. --suggest-link-flags-opt Suggest link flags for ocamlopt. --suggest-menhirLib Suggest where MenhirLib was installed in source form. -t, --table Use the table-based back-end. --timings Display internal timings. --timings-to file Dump internal timings into file. --trace Include tracing instructions in the generated code. --unused-precedence-levels Do not warn about unused precedence levels. --unused-token token Do not warn that token is unused. --unused-tokens Do not warn about any unused token. --update-errors file Update auto-comments in a .messages file. --version Show version number and exit. -v Synonymous with --dump --explain. SEE ALSO ocaml(1). AUTHOR menhir was written by Francois Pottier and Yann Regis-Gianas. This manual page was originally written by Samuel Mimram <smimram@de- bian.org> for the Debian project (but may be used by others). July 03, 2018 MENHIR(1)
NAME | SYNOPSIS | DESCRIPTION | OPTIONS | SEE ALSO | AUTHOR
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=menhir&sektion=1&manpath=FreeBSD+Ports+14.3.quarterly>