Man Linux: Main Page and Category List


       CamlP4 - Pre-Processor-Pretty-Printer for Objective Caml


       camlp4 [load-options] [--] [other-options]


       Camlp4  is a Pre-Processor-Pretty-Printer for Objective Caml. It offers
       tools for syntax (Stream Parsers  and  Grammars)  and  the  ability  to
       modify   the  concrete  syntax  of  the  language  (Quotations,  Syntax

       The Objective Caml compiler has a special  option  "-pp",  allowing  to
       call  any  preprocessor.  If  Camlp4 is used, the parsing is done (only
       once) by Camlp4, and the Objective Caml compiler resumes  the  rest  of
       the compilation (typing, code generation).

       Camlp4  can  parse  normal  OCaml  concrete  syntax  or any other user-
       definable syntax. As an example, an  alternative  syntax  is  provided,
       named  Revised,  because  it tries to fix some problems of the original

       Camlp4 can pretty print the normal OCaml concrete syntax or the revised
       one (Pretty-Printer). It is therefore always possible to have a version
       of your sources compilable  by  the  compiler  Objective  Caml  without

       Camlp4  can  also  serve as a Program Transformation tool, the user can
       supply transformations and apply them easily as a pre-processing  task.
       This is done with Filters.


              Parse this implementation file

              Parse this interface file

              Load this module inside the Camlp4 core

       -I <directory>
              Add directory in search patch for object files.

       -where Print camlp4 library directory and exit.

       -nolib No automatic search for object files in library directory.

       -intf <file>
              Parse <file> as an interface, whatever its extension.

       -impl <file>
              Parse <file> as an implementation, whatever its extension.

       -str <string>
              Parse <string> as an implementation.

              Generate unsafe accesses to array and strings.

              Obsolete, do not use this option.

              More verbose in parsing errors.

       -loc <name>
              Name of the location variable (default: _loc).

       -QD <file>
              Dump quotation expander result in case of syntax error.

       -o <file>
              Output on <file> instead of standard output.

       -v     Print Camlp4 version and exit.

              Print Camlp4 version number and exit.

              Don’t parse quotations, allowing to use, e.g. "<:>" as token.

              Print the list of loaded modules.

       -parser <name>
              Load the parser Camlp4Parsers/<name>.cmo

       -printer <name>
              Load the printer Camlp4Printers/<name>.cmo

       -filter <name>
              Load the filter Camlp4Filters/<name>.cmo

              ignore the next argument

       --     Deprecated, does nothing

       Options added by loaded object files:

       -I <string>
              Add a directory to INCLUDE search path.

       -U <string>
              Undefine for IFDEF instruction.

       -D <string>
              Define for IFDEF instruction.


              Old name for the option -split_ext.

              Split EXTEND by functions to turn around a PowerPC problem.

              Print explanations about new sequences and exit.


       ocamlc(1), ocaml(1).
       The  full  documentation  for  CamlP4  is  being  developed  on  a Wiki
       available on the web at


       CamlP4 is Copyright INRIA, it was mainly written by Nicolas  Pouillard.

       This  manual  page was written by Stefano Zacchiroli <>,
       for the Debian project (but may be used by others).