package camlp5

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

Install

Dune Dependency

Authors

Maintainers

Sources

rel711.tar.gz
md5=be98fa3f9a2df6958a8c7b8b60effc4d
sha512=109a43f0a3aaa7a3ba9bd51b1fc1273b054d32787e189b138d69b39c42642b480c13abb9e91f15e6b6e889eaf4dc422ad3ff51e4dee298fb9d8cd9a2db99c159

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

Dependencies (1)

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

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