package camlp5

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

Install

Dune Dependency

Authors

Maintainers

Sources

84ce6cc4d7738b3c43dfeadd5e9717bb9b50c786.tar.gz
sha256=3a9b90684a710b23b2f83f020304f0fda48219725d7a9ea881ae49effd9afdeb

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: 08 Oct 2018

Dependencies (1)

  1. ocaml >= "4.02" & <= "4.07.1"

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