package menhir
LR(1) parser generator
Install
Dune Dependency
Authors
Maintainers
Sources
menhir-20180530.tar.gz
sha256=a8cb2326790cf701b84966ea7aec644b67c0ed80293961a2b3a07082b7a05aa2
md5=81a1878e1d73fec2ede859bd20538d1f
Description
Published: 30 May 2018
README
README.md
This tool, menhir-generate-printers, reads a .cmly file and produces code for three functions, namely print_symbol, print_value, and print_token.
val print_symbol: MenhirInterpreter.xsymbol -> string
By default, print_symbol prints the internal name of a (terminal or nonterminal) symbol. This can however be changed by attaching a [@name] attribute with this symbol. The attribute payload should be an OCaml expression of type string.
val print_value: 'a MenhirInterpreter.symbol -> 'a -> string
val print_token: token -> string
By default, print_value and print_token ignore the semantic value and print just the name of the symbol, like print_symbol. This can however be changed by attaching a [@printer] attribute with this symbol. The attribute payload should be an OCaml expression of type _ -> string, where _ stands for an appropriate type of semantic values.
Dependencies (3)
-
ocamlbuild
build -
ocamlfind
build -
ocaml
>= "4.02" & < "5.0"
Dev Dependencies
None
-
absolute
>= "0.2" -
aifad
>= "2.3.0" -
alba
< "0.4.3" -
alt-ergo
>= "2.0.0" & < "2.3.0" | >= "2.4.0" - alt-ergo-free
- alt-ergo-parsers
- archetype
- arrakis
- asli
- atd
-
bdd
>= "0.5" - caper
-
cca
< "0.6.2" -
cfg
>= "2.3.0" -
charrua-server
< "2.0.0" -
coccinelle
< "1.1.0" -
codept
< "0.12.1" - codept-lib
-
coin
< "0.1.4" - dedukti
- diffast-core
- diffast-langs-cpp-parsing
- diffast-langs-fortran-parsing
- diffast-langs-java-parsing
- diffast-langs-python-parsing
- diffast-langs-verilog-parsing
- dkml-dune-dsl-show
-
dolmen
< "0.5" - drom_toml
-
dune
>= "3.17.2" - edn
- electrod
- electrumAnalyzer
-
embedded_ocaml_templates
< "0.8" - erlang
-
FrontC
>= "4.0.0" -
forester
!= "2.1" & < "3.0.0" -
frama-c-luncov
>= "0.2.1" -
fstar
< "2025.02.17" - gadelac
- gdbprofiler
- gobba
-
graphql_parser
>= "0.9.0" - gufo
- heptagon
-
herdtools7
>= "7.55" & < "7.56.1" -
inferno
>= "20220603" - jasmin
-
jingoo
>= "1.3.1" -
js_of_ocaml-compiler
>= "3.7.1" -
js_of_ocaml-webgpu
< "0.2" - js_of_ocaml-webidl
- karamel
- kdl
- kind2
-
kremlin
< "transition" - labrys
- libabsolute
-
libsail
< "0.18" - libzipperposition
-
links
< "0.9.4" - logtk
- lp
-
lreplay
>= "0.1.1" -
lsp
< "1.15.1-5.0" -
MlFront_Cli
< "2.3.1" -
mazeppa
< "0.4.1" - mc2
-
merlin
< "4.14-500" - minicaml
- minimal
- mopsa
-
morbig
< "0.10.3" -
msat
= "0.8" -
mustache
= "3.1.0" - nice_parser
-
obelisk
< "0.7.0" -
obus
>= "1.2.0" -
ocamlformat
>= "0.17.0" & < "0.19.0" -
ocamlformat-rpc
< "0.19.0" -
odate
< "0.7" - odds
- ollvm
- ollvm-tapir
-
ometrics
< "0.2.0" - otoml
-
ott
>= "0.32" -
p4pp
!= "0.1.8" - petr4
- phylogenetics
-
ppx_pbt
< "0.2.1" - psmt2-frontend
-
rdf
< "0.12.0" - reason
- rfsm
-
runtime_events_tools
>= "0.5.0" -
sail
< "0.15" -
satyrographos
= "0.0.2.11" - sgf
- shapefile
- sifun
- smtlib-utils
- solidity-parser
- sqlgg
- squirrel
- stog-writing
- systemverilog
- talaria-bibtex
- tip-parser
- toml
- touist
- tptp
-
uuuu
< "0.3.0" - wasm_of_ocaml-compiler
-
wcs-lib
>= "2017-05-26.02" -
webidl
!= "1.2" -
why3
< "1.8.0" - wikitext
- zanuda
- zelus
- zipperposition
Conflicts
None
On This Page