package menhir
LR(1) parser generator
Install
Dune Dependency
Authors
Maintainers
Sources
menhir-20171206.tar.gz
sha256=c4ed86f2d02d72183e3422ff1700276925fe6cfa2f22900f3d30f23dce8e9c77
md5=c86ee287c1dbda1d080d2ca3a3ad1271
Description
Published: 06 Dec 2017
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
-
ocaml
>= "4.02" & < "5.0"
Dev Dependencies
None
-
acgtk
>= "1.5.0" & < "1.5.3" -
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
< "1.0.0" | >= "1.2.1" & < "1.2.5" - asli
-
atd
< "2.3.3" -
bamboo
< "0.0.02" -
batsh
< "0.0.5" -
binsec
< "0.4.0" - caper
- caradoc
-
cca
< "0.6.2" - ccss
-
cfg
< "2.1.0" - charrua-core
-
charrua-server
< "1.4.0" -
coccinelle
>= "1.0.8" & < "1.1.0" -
codept
= "0.10.3" -
coin
< "0.1.4" -
combine
>= "0.42" - DrawGrammar
-
dedukti
< "2.7" - doc-ock-xml
-
dolmen
< "0.4" - drom_toml
-
dune
>= "3.17.0" -
edn
< "0.2.0" - electrod
- electrumAnalyzer
-
embedded_ocaml_templates
< "0.3.1" -
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
< "0.4" -
genet
!= "0.2" -
gobba
>= "0.4.2" - gufo
-
heptagon
>= "1.01.00" - imaplet-lwt
-
inferno
>= "20220603" - jasmin
-
js_of_ocaml
>= "1.4.0" & < "3.0" -
js_of_ocaml-compiler
>= "3.7.0" - karamel
- kdl
-
kind2
< "1.6.0" -
kremlin
< "transition" - labrys
-
lambdapi
< "2.0.0" - lambdoc
- libzipperposition
- lilis
-
links
>= "0.9" & < "0.9.4" -
logtk
>= "1.5.1" -
lp
< "0.4.0" -
lsp
< "1.8.0" -
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
< "0.3.3" - minimal
- modelica_ml
-
morbig
< "0.10.3" -
msat
= "0.8" -
mustache
>= "3.0.0" & < "3.1.0" - nice_parser
- nunchaku
-
obelisk
< "0.7.0" - obrowser
-
ocaml-lsp-server
< "1.2.0" -
ocaml-r
< "0.1.0" -
odate
< "0.7" - odds
- ollvm
- ollvm-tapir
-
ometrics
< "0.2.0" - otoml
-
ott
>= "0.32" -
p4pp
< "0.1.8" - petr4
- phylogenetics
- profound
-
psmt2-frontend
< "0.3.0" -
rdf
>= "0.6.0" & < "0.12.0" - relit-reason
- rfsm
-
runtime_events_tools
>= "0.5.0" -
sail
< "0.15" - sgf
- shapefile
- sibylfs
-
smbc
< "0.4.2" -
smtlib-utils
< "0.4" - sociaml-vcard
- solidity-parser
-
sqlgg
< "20231201" - stog-writing
- systemverilog
- tip-parser
-
toml
< "7.1.0" - touist
-
tptp
>= "0.3.1" -
uuuu
< "0.3.0" -
wcs-lib
>= "2017-05-26.02" -
webidl
!= "1.2" -
why3
>= "1.0.0" & < "1.8.0" -
why3-base
>= "0.86.3" - wikitext
- zanuda
- zephyrus
-
zipperposition
>= "1.1"
Conflicts
None
On This Page