package camlp5

  1. Overview
  2. No Docs
Preprocessor-pretty-printer of OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

rel713.tar.gz
md5=93f05e034e09364437ac7e53fad044f3

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 Sep 2020

Dependencies (1)

  1. ocaml >= "4.02" & <= "4.11.1" & != "4.10.2"

Dev Dependencies

None

Used by (13)

  1. bigbro
  2. coq != "8.4.6~camlp4" & != "8.5.0~camlp4" & != "8.5.2~camlp4" & < "8.10.0"
  3. coq-serapi < "8.9.0+0.6.0"
  4. coqide < "8.10.0"
  5. elpi < "1.14.3"
  6. frama-clang
  7. haxe >= "4.0.0"
  8. lablgl >= "1.06"
  9. lablgtk3 >= "3.1.3"
  10. ledit < "2.05"
  11. logger-p5 < "0.4.5"
  12. orpie
  13. ulex-camlp5 < "1.3"

Conflicts

None