package menhir
LR(1) parser generator
Install
Dune Dependency
Authors
Maintainers
Sources
menhir-20171222.tar.gz
sha256=3958ef6d317548c7776a25a13a48855fc1972d660c211ebec7e797b5bec0f47e
md5=6bbea6ad7b390904c9ce6d3e11d73438
Description
Published: 22 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
Used by (93)
-
acgtk
< "1.5.3" -
alba
< "0.4.3" -
alt-ergo
>= "2.0.0" & < "2.3.0" | >= "2.4.0" - alt-ergo-free
- alt-ergo-parsers
-
archetype
< "1.0.0" | >= "1.2.1" & < "1.2.5" - asli
-
atd
< "2.3.3" - caper
-
cca
< "0.6.2" - charrua-core
-
charrua-server
< "1.4.0" -
coccinelle
< "1.1.0" -
codept
< "0.11.0" -
coin
< "0.1.4" -
dedukti
< "2.7" - diffast-core
-
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" -
fstar
< "2025.02.17" - gadelac
-
gdbprofiler
< "0.4" -
gobba
>= "0.4.2" - gufo
- heptagon
-
inferno
>= "20220603" - jasmin
-
js_of_ocaml-compiler
>= "3.7.1" - karamel
- kdl
-
kind2
< "1.6.0" -
kremlin
< "transition" - labrys
- libzipperposition
-
links
< "0.9.4" - logtk
-
lp
< "0.4.0" -
lsp
< "1.8.0" -
mazeppa
< "0.4.1" - mc2
-
merlin
>= "3.5.0" & != "4.6-414" & < "4.7-414" -
merlin-lib
< "4.8~5.1preview" -
minicaml
< "0.3.3" - minimal
-
morbig
< "0.10.3" -
msat
= "0.8" - nice_parser
-
obelisk
< "0.7.0" -
ocaml-lsp-server
< "1.2.0" -
odate
< "0.7" - odds
- ollvm
- ollvm-tapir
-
ometrics
< "0.2.0" - otoml
-
ott
>= "0.32" -
p4pp
< "0.1.8" - petr4
- phylogenetics
-
psmt2-frontend
< "0.3.0" -
rdf
< "0.12.0" - rfsm
-
runtime_events_tools
>= "0.5.0" -
sail
< "0.15" - sgf
- shapefile
-
smtlib-utils
< "0.4" - solidity-parser
-
sqlgg
< "20231201" - stog-writing
- systemverilog
- tip-parser
-
toml
< "7.1.0" - 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
- zipperposition
Conflicts
None
On This Page