• 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^AT_EX by H^EV^EA and H^AC^HA.