Builtin quotation

From Gallium

Jump to: navigation, search

The features some predefined Quotation Expanders. For now all these expanders aims at building and matching OCaml's ASTs, such a mechanism is deeply explained in Reflective OCaml.

However here is the list of predefined expanders of camlp4of:

   ident (in a position of str_item)
   ident (in a position of patt)
   ident (in a position of expr)
   module_binding (in a position of str_item)
   module_binding (in a position of patt)
   module_binding (in a position of expr)
   match_case (in a position of str_item)
   match_case (in a position of patt)
   match_case (in a position of expr)
   rec_binding (in a position of str_item)
   rec_binding (in a position of patt)
   rec_binding (in a position of expr)
   binding (in a position of str_item)
   binding (in a position of patt)
   binding (in a position of expr)
   with_constr (in a position of str_item)
   with_constr (in a position of patt)
   with_constr (in a position of expr)
   class_str_item (in a position of str_item)
   class_str_item (in a position of patt)
   class_str_item (in a position of expr)
   class_sig_item (in a position of str_item)
   class_sig_item (in a position of patt)
   class_sig_item (in a position of expr)
   class_expr (in a position of str_item)
   class_expr (in a position of patt)
   class_expr (in a position of expr)
   class_type (in a position of str_item)
   class_type (in a position of patt)
   class_type (in a position of expr)
   module_expr (in a position of str_item)
   module_expr (in a position of patt)
   module_expr (in a position of expr)
   module_type (in a position of str_item)
   module_type (in a position of patt)
   module_type (in a position of expr)
   expr (in a position of str_item)
   expr (in a position of patt)
   expr (in a position of expr)
   patt (in a position of str_item)
   patt (in a position of patt)
   patt (in a position of expr)
   ctyp (in a position of str_item)
   ctyp (in a position of patt)
   ctyp (in a position of expr)
   str_item (in a position of str_item)
   str_item (in a position of patt)
   str_item (in a position of expr)
   sig_item (in a position of str_item)
   sig_item (in a position of patt)
   sig_item (in a position of expr)
Personal tools
Espace privé