package camlp5
Preprocessor-pretty-printer of OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
rel714.tar.gz
sha512=1b39949c532ca622b01a8e800aa1dcad34f1c944ffe580003642bd742dedc158f3ee54602f3b05f89c0e259525d7feed101b971ebd589449b6d56046389a5bf6
Description
Camlp5 is a preprocessor and pretty-printer for OCaml programs. It also provides parsing and printing tools.
As a preprocessor, it allows to:
extend the syntax of OCaml, redefine the whole syntax of the language. As a pretty printer, it allows to:
display OCaml programs in an elegant way, convert from one syntax to another, check the results of syntax extensions. Camlp5 also provides some parsing and pretty printing tools:
extensible grammars extensible printers stream parsers and lexers pretty print module It works as a shell command and can also be used in the OCaml toplevel.
Published: 27 Dec 2020
Dev Dependencies
None
Used by (14)
- bigbro
-
coq
!= "8.4.6~camlp4" & != "8.5.0~camlp4" & != "8.5.2~camlp4" & < "8.10.0" -
coq-serapi
< "8.9.0+0.6.0" -
coqide
< "8.10.0" -
elpi
< "1.14.3" - frama-clang
-
haxe
>= "4.0.0" - hol_light
-
lablgl
>= "1.06" -
lablgtk3
>= "3.1.3" -
ledit
< "2.05" -
logger-p5
< "0.4.5" - orpie
-
ulex-camlp5
< "1.3"
Conflicts
None
On This Page