Camlp4 library modules

Chapter 8 Camlp4 library modules

When linking an application using this library modules, you have to add the file gramlib.cma in the command line. For example, with the line:

 ocamlc -I +camlp4 gramlib.cma <the_files>

8.1 Module MLast: abstract syntax tree

This library module is accessible, but not documented. The creation of abstract syntax tree nodes must be done using quotations, defined in the file q_MLast.cmo. See appendix A.

However, some functions are provided to access the ``location'' field in nodes. They are:

loc_of_expr for expressions.
loc_of_patt for patterns.
loc_of_ctyp for types.
loc_of_module_type for module types.
loc_of_module_expr for module expressions.
loc_of_sig_item for signature items.
loc_of_str_item for structure items.
loc_of_phrase for phrases.

8.2 Other modules

Module Grammar: Extensible grammars.
Module Extfun: Extensible functions.
Module Pcaml: Language grammar, entries and printers.
Module Plexer: A lexical analyzer.
Module Quotation: Quotation operations.
Module Token: Lexers for Camlp4 grammars.
Module Stdpp: Standard definitions.

Previous Up Next