Camlp4 - Reference Manual
version 3.06
Daniel de Rauglaudre
20 August 2002
Copyright © 2002 Institut National de Recherche en Informatique et Automatique
Introduction
Camlp4
Camlp4 predefined files
Preprocessing OCaml
User syntax modifications
Streams and parsers
Quotations
Syntax
Creating a quotation expander
Antiquotations
Errors
Predefined quotation expanders
Grammars
Grammars and entries
Extension
Parsed language
Deletion
Writing a lexer
Syntax extensions
The abstract syntax tree
Extending the language
Examples of language extensions
Redefining the whole syntax
The Revised syntax
Phrases
Imperative constructions
Tuples and lists
Irrefutable patterns
Constructions with matching
Mutables and assignment
Types
Modules
Objects
Miscellaneous
Streams and parsers
Other extensions
Extensible functions
Functional streams
Ocamllex syntax
Camlp4 library modules
Module
MLast
: abstract syntax tree
Other modules
Quotations for creating abstract syntax trees
General rules
Quotation
expr
Quotation
patt
Important remark about lists
Quotation
ctyp
Quotation
sig_item
Quotation
str_item
Quotation
module_type
Quotation
module_expr
Quotation
class_expr
Quotation
class_type
Quotation
class_sig_item
Quotation
class_str_item
This document was translated from L
A
T
E
X by
H
E
V
E
A and H
A
C
H
A
.