package camlp5
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Preprocessor-pretty-printer of OCaml
Install
dune-project
Dependency
Authors
Maintainers
Sources
8.04.00.tar.gz
sha512=ecec87b75290c00f80f02c1eece8cef763673b7b2fd65a109c1ed1cae33998dec44dac2e600fec1897fca0a7545a42402ada8d73a0780d6b7171e01aa906fb31
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: 09 Oct 2025
Dependencies (11)
Dev Dependencies (3)
-
mdx
>= "2.3.0" & with-test -
ounit2
with-test -
conf-diffutils
with-test & (os-distribution = "alpine" | os-distribution = "freebsd")
Used by (28)
-
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
- matita
- OCanren
- orpie
- ostap
-
p5scm
>= "0.3.1" -
pa_ppx
>= "0.14" & != "0.18" - pa_ppx_ag
- pa_ppx_hashcons
- pa_ppx_migrate
- pa_ppx_migrate_ocaml_parsetree
- pa_ppx_parsetree
- pa_ppx_q_ast
- pa_ppx_quotation2extension
- pa_ppx_regexp
- pa_ppx_static
- pa_ppx_string
- pa_ppx_unique
Conflicts (7)
-
pa_ppx
<= "0.20" -
p5scm
<= "0.4.0" -
lablgl
<= "1.07" -
hol_light
<= "3.1.0" -
GT
<= "0.5.4" -
frama-clang
<= "0.0.18" - ocaml-option-bytecode-only
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page