package camlp5
Preprocessor-pretty-printer of OCaml
Install
dune-project
Dependency
Authors
Maintainers
Sources
rel8.00+alpha06.tar.gz
sha512=c7bf823ea4a468f51e8d3cd2c6312b2866ed675d999fb7a94679dcb1f6df3a23a5fd705540d63ae99631f3f9e0db105f2bba2f46f1124b1d44912b80d1aa6c77
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: 19 Oct 2020
Dependencies (4)
- conf-perl-string-shellquote
- conf-perl-ipc-system-simple
- conf-perl
-
ocaml
>= "4.02" & < "4.12.0"
Used by (14)
-
coq-serapi
< "8.9.0+0.6.0"
-
coqide
< "8.10.0"
- elpi-option-legacy-parser
- frama-clang
-
GT
< "0.4.0"
-
haxe
>= "4.0.0"
- hol_light
-
lablgl
>= "1.06"
-
lablgtk3
>= "3.1.3"
-
ledit
>= "2.05"
- logger-p5
- orpie
- ostap
-
p5scm
< "0.2.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page