Index of values

add name exp adds the quotation name associated with the expander exp.

Add an option to the command line options.

Apply an extensible function

Some entries of the language, set by pa_o.cmo and pa_r.cmo.

default holds the default quotation name.

A simple tok_match function for lexers, appling to token type (string * string)

When True (default), the next call to Plexer.make () returns a lexer where the dollar sign is used for antiquotations.

Empty extensible function

Flag for displaying more information in case of parsing error; default = False

Convert a char or a string token, where the backslashes had not been interpreted into a real char or string; raise Failure if bad backslash sequence found; Token.eval_char (Char.escaped c) returns c and Token.eval_string (String.escaped s) returns s

find name returns the expander of the given quotation name.

Grammar.fold_entry f e init computes (f eN .. (f e2 (f e1 init))), where e1 .. eN are e and transitively all entries called by e.

Create a new grammar, without keywords, using the lexer given as parameter.

Return the lexer used by the grammar

Some lexer provided.

Grammar variable of the OCaml language

The file currently being parsed.

Grammar.iter_entry f e applies f to the entry e and transitively all entries called by e.

A lexer function from a lexer created by ocamllex

A lexer function from a lexer written as a char stream parser returning the next token and its location.

A simple tok_text function for lexers

line_of_loc fname loc reads the file fname up to the location loc and returns the real input file, the line number and the characters location in the line; the real input file can be different from fname because of possibility of line directives typically generated by /lib/cpp.

Name of the location variable used in grammars and in the predefined quotations for OCaml syntax trees.

General function

True: dont generate constructor arity.

When True, all lexers built by Plexer.make () do not lex the quotation syntax any more.

Return the grammar associated with an entry.

The output file, stdout if None (default)

Called when parsing an interface (mli file) or an implementation (ml file) to build the syntax tree; the returned list contains the phrases (signature items or structure items) and their locations; the boolean tells that the parser has encountered a directive; in this case, since the directive may change the syntax, the parsing stops, the directive is evaluated, and this function is called again.

Print patterns in the order they are recorded

General printer for all kinds of entries (obj entries)

Some printers, set by pr_dump.cmo, pr_o.cmo and pr_r.cmo.

quotation_dump_file optionally tells the compiler to dump the result of an expander if this result is syntactically incorrect.

raise_with_loc loc e, if e is already the exception Exc_located, re-raise it, else raise the exception Exc_located loc e.

To possibly rename identifiers; parsers may call this function when generating their identifiers; default = identity

Prints an error message, using the module Format.

When False (default), the next call to Plexer.make () returns a lexer where the dots can be preceded by spaces.

Flag to apply strict parsing, without trying to recover errors; default = False

Given a grammar and a token pattern constructor, returns the list of the corresponding values currently used in all entries of this grammar.

function translating quotation names; default = identity

The current version of Camlp4.

Flag for displaying warnings while extension; default = True