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
  
    
      rel8.00+alpha06.tar.gz
    
    
        
    
  
  
  
    
  
        sha512=c7bf823ea4a468f51e8d3cd2c6312b2866ed675d999fb7a94679dcb1f6df3a23a5fd705540d63ae99631f3f9e0db105f2bba2f46f1124b1d44912b80d1aa6c77
    
    
  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: 19 Oct 2020
Dependencies (4)
- conf-perl-string-shellquote
- conf-perl-ipc-system-simple
- conf-perl
- 
  
    ocaml
  
  
    >= "4.02" & < "4.12.0"
Used by (14)
- 
  
    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
- orpie
- ostap
- 
  
    p5scm
  
  
    < "0.2.0"
Conflicts
None
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
  On This Page