package camlp5
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
On This Page
  
  
  Preprocessor-pretty-printer of OCaml
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
  
    
      8.02.01.tar.gz
    
    
        
    
  
  
  
    
  
        sha512=b600cb4891f825bce5af72c1e26e6b09e51f1e4bd4eea5333af9aaecde0857e949428c1b30c64bae030042691e97bdde6daf1d95fe1927ea478b7f5dea872ee5
    
    
  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: 07 Sep 2023
Dependencies (9)
- fmt
- bos
- rresult
- 
  
    re
  
  
    >= "1.11.0"
- 
  
    camlp5-buildscripts
  
  
    >= "0.02"
- conf-perl
- 
  
    camlp-streams
  
  
    >= "5.0"
- ocamlfind
- 
  
    ocaml
  
  
    >= "4.10" & < "5.02.0"
Dev Dependencies (3)
- 
  
    pcre2
  
  
    with-test
- 
  
    ounit2
  
  
    with-test
- 
  
    conf-diffutils
  
  
    with-test & os-distribution = "alpine"
Used by (27)
- 
  
    coq-serapi
  
  
    < "8.9.0+0.6.0"
- 
  
    coqide
  
  
    < "8.10.0"
- elpi-option-legacy-parser
- frama-clang
- 
  
    GT
  
  
    >= "0.4.0"
- 
  
    haxe
  
  
    >= "4.0.0"
- hol_light
- 
  
    lablgl
  
  
    >= "1.06"
- 
  
    lablgtk3
  
  
    >= "3.1.3"
- 
  
    ledit
  
  
    >= "2.05"
- logger-p5
- matita
- OCanren
- orpie
- ostap
- 
  
    p5scm
  
  
    = "0.3.1"
- 
  
    pa_ppx
  
  
    = "0.14"
- pa_ppx_ag
- pa_ppx_hashcons
- 
  
    pa_ppx_migrate
  
  
    < "0.13"
- pa_ppx_parsetree
- 
  
    pa_ppx_q_ast
  
  
    < "0.12"
- pa_ppx_quotation2extension
- pa_ppx_regexp
- pa_ppx_static
- pa_ppx_string
- pa_ppx_unique
Conflicts (1)
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
  On This Page