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" -
acgtk
>= "1.5.0" & < "1.5.3" -
aifad
>= "2.3.0" -
alba
< "0.4.3" -
alt-ergo
>= "2.0.0" & < "2.3.0" | >= "2.4.0" -
alt-ergo-free
< "2.3.3" - alt-ergo-parsers
- alt-ergo-parsers-free
-
anders
< "0.7.1" - archetype
- arrakis
- asli
- atd
-
bamboo
< "0.0.02" -
batsh
< "0.0.5" -
binsec
< "0.4.0" -
bnfgen
< "3.1.0" - caper
- caradoc
-
cca
< "0.6.2" - ccss
-
cfg
< "2.1.0" | >= "2.3.0" - charrua-core
- charrua-server
-
coccinelle
>= "1.0.8" & < "1.1.0" -
codept
>= "0.10.3" -
coin
< "0.1.4" -
combine
>= "0.42" - DrawGrammar
- dedukti
- dkml-dune-dsl-show
- doc-ock-xml
-
dolmen
< "0.5" - drom_toml
- edn
- electrod
- electrumAnalyzer
-
embedded_ocaml_templates
< "0.8" -
encoding
< "0.0.2" - erlang
-
FrontC
>= "4.0.0" -
forester
!= "2.1" & < "3.0.0" -
frama-c-luncov
>= "0.2.1" -
frenetic
>= "5.0.0" & < "5.0.5" -
fstar
>= "0.9.5.0" - gadelac
- gdb
- gdbprofiler
-
genet
!= "0.2" - gobba
-
graphql_parser
>= "0.9.0" - gufo
-
heptagon
>= "1.01.00" -
herdtools7
>= "7.55" & < "7.56.1" - imaplet-lwt
-
inferno
>= "20220603" - jasmin
-
jingoo
>= "1.3.1" -
js_of_ocaml
>= "1.4.0" & < "3.0" -
js_of_ocaml-compiler
>= "3.7.0" -
js_of_ocaml-webgpu
< "0.2" - js_of_ocaml-webidl
- karamel
- kdl
- kind2
-
kremlin
< "transition" - labrys
-
lambdapi
< "2.0.0" - lambdoc
- libabsolute
-
libsail
< "0.18" - libzipperposition
- lilis
-
links
>= "0.9" & < "0.9.4" -
logtk
>= "1.5.1" - lp
-
lreplay
>= "0.1.1" -
lsp
< "1.8.0" | >= "1.11.3" & < "1.12.1" - MlFront_Cli
-
mazeppa
< "0.4.1" - mc2
-
merlin
< "2.0.0" | >= "3.5.0" & < "4.6-414" | >= "4.7-412" & < "4.7-414" -
merlin-lib
< "4.8~5.1preview" - mezzo
- minicaml
- minimal
- modelica_ml
- mopsa
-
morbig
< "0.10.3" -
msat
= "0.8" -
mustache
>= "3.0.0" & < "3.2.0" - nice_parser
- nunchaku
-
obelisk
< "0.7.0" - obrowser
-
obus
>= "1.2.0" -
ocaml-lsp-server
< "1.2.0" -
ocaml-r
< "0.1.0" -
ocamlformat
>= "0.17.0" & < "0.19.0~4.13preview" -
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" - profound
- psmt2-frontend
-
rdf
>= "0.6.0" & < "0.12.0" -
reason
>= "3.3.5" - relit-reason
- rfsm
-
runtime_events_tools
>= "0.5.0" -
sail
< "0.15" -
satyrographos
= "0.0.2.11" - sgf
- shapefile
- sibylfs
- sifun
-
smbc
< "0.4.2" - smtlib-utils
- sociaml-vcard
- solidity-parser
- sqlgg
- squirrel
- stog-writing
- systemverilog
- talaria-bibtex
- tip-parser
- toml
- touist
-
tptp
>= "0.3.1" -
uuuu
< "0.3.0" -
wcs-lib
>= "2017-05-26.02" -
webidl
!= "1.2" -
why3
>= "1.0.0" -
why3-base
>= "0.86.3" - wikitext
- zanuda
- zelus
- zephyrus
-
zipperposition
>= "1.1"
Conflicts
None
On This Page