package camlp5

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

Install

Dune Dependency

Authors

Maintainers

Sources

rel712.tar.gz
md5=b64cdb12faac521dc3a925816970b733
sha512=233d973b0a968a7812b977e8a37da8e8daa0f3ef81ca7c473d83c1602380dae6c14f94daffb6bb799f8d90fab121238a46e89a233202cd6f622b0da2f728c0c0

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: 30 May 2020

Dependencies (1)

  1. ocaml >= "4.02" & <= "4.11.0" & != "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