package menhir
LR(1) parser generator
Install
Dune Dependency
Authors
Maintainers
Sources
menhir-20160526.tar.gz
md5=0bbffb55c92c3b57e082be9c4b5b2070
Description
Published: 27 May 2016
README
README
This tiny program reads arithmetic expressions from the standard input channel. Each expression is expected to be complete when the current line ends. Its value is then displayed on the standard output channel. This code is adapted from ocamlyacc's documentation. We compile the parser using Menhir's code back-end. For an example of using Menhir's table back-end, see the calc-incremental/ and calc-inspection/.
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.4"
- ccss
-
cfg
< "2.1.0"
- charrua-core
-
charrua-server
< "1.4.0"
-
coccinelle
>= "1.0.7" & < "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
-
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"
-
frenetic
>= "5.0.0" & < "5.0.5"
- gadelac
- gdb
-
gdbprofiler
< "0.4"
-
genet
!= "0.2"
- gobba
- gufo
-
heptagon
>= "1.01.00"
- imaplet-lwt
-
inferno
>= "20220603"
-
js_of_ocaml
>= "1.4.0" & < "3.0"
-
js_of_ocaml-compiler
>= "3.7.0"
- kdl
-
kind2
< "1.6.0"
- 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" | >= "1.11.3" & < "1.12.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
- modelica_ml
-
morbig
< "0.10.3"
-
msat
= "0.8"
-
mustache
>= "3.0.0" & < "3.1.0"
- nice_parser
- nunchaku
- obelisk
- 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"
-
reason
< "1.13.0"
-
reason-parser
< "1.13.4"
- 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
- stog-writing
- tip-parser
-
toml
< "7.1.0"
- touist
-
tptp
>= "0.3.1"
-
uuuu
< "0.3.0"
-
wcs-lib
>= "2017-05-26.02"
-
why3
>= "1.0.0" & < "1.4.0"
-
why3-base
>= "0.86.3"
- wikitext
- zanuda
- zephyrus
-
zipperposition
>= "1.1"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page