package camlp5
Preprocessor-pretty-printer of OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
8.00.05.tar.gz
sha512=f4cee1fba85dc3a7479929facd79d0b88f23de575107886a8d4c41cd4a0bee21ccc72f2791712635e401ca10c3ec24cfea32558eca09ba6616e01e8433c57bbe
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 Feb 2023
Dependencies (10)
- fmt
- bos
- rresult
- pcre
- re
- camlp5-buildscripts
- conf-perl
-
camlp-streams
>= "5.0"
- ocamlfind
-
ocaml
>= "4.10" & < "5.01.0"
Dev Dependencies (2)
-
ounit2
with-test
-
conf-diffutils
with-test & os-distribution = "alpine"
Used by (27)
- bigbro
-
coq-serapi
< "8.9.0+0.6.0"
-
coqide
< "8.10.0"
-
elpi
< "1.0.5" | = "1.14.3"
- 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.2.0"
-
pa_ppx
>= "0.09" & < "0.12"
- pa_ppx_ag
-
pa_ppx_hashcons
< "0.10"
-
pa_ppx_migrate
< "0.10"
- pa_ppx_parsetree
-
pa_ppx_q_ast
>= "0.08" & < "0.12"
- pa_ppx_string
-
pa_ppx_unique
< "0.10"
-
ulex-camlp5
>= "1.3"
Conflicts (1)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page