camlp5version
Preprocessor-pretty-printer of OCaml
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.
| Authors | Daniel de Rauglaudre and Chet Murthy |
|---|---|
| License | BSD-3-Clause |
| Published | |
| Homepage | https://camlp5.github.io |
| Issue Tracker | https://github.com/camlp5/camlp5/issues |
| Maintainer | https://github.com/ocaml/opam-repository/issues |
| Dependencies |
|
| Conflicts | |
| Source [http] | https://github.com/camlp5/camlp5/archive/refs/tags/8.00.05.tar.gz sha512=f4cee1fba85dc3a7479929facd79d0b88f23de575107886a8d4c41cd4a0bee21ccc72f2791712635e401ca10c3ec24cfea32558eca09ba6616e01e8433c57bbe |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/camlp5/camlp5.8.00.05/opam |
Required by
- 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
- haxebuild & >=4.0.0
- hol_light
- lablgl>=1.06
- lablgtk3dev & >=3.1.3
- ledit>=2.05
- logger-p5
- matita
- OCanren
- orpiebuild
- 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
Optionally used by
- elpi=1.15.0
