Syntactic Category

From Gallium

Jump to: navigation, search

Here the list of Camlp4 syntactic categories:

  • Core language:
 type ctyp               (* Representaion of types                                     *)
 type patt               (* The type of patterns                                       *)
 type expr               (* The type of expressions                                    *)
 type match_case         (* The type of cases for match/function/try constructions     *)
 type ident              (* The type of identifiers (including path like Foo(X).Bar.y) *)
 type binding            (* The type of let bindings                                   *)
 type rec_binding        (* The type of record definitions                             *)
  • Modules:
 type module_type        (* The type of module types                                   *)
 type sig_item           (* The type of signature items                                *)
 type str_item           (* The type of structure items                                *)
 type module_expr        (* The type of module expressions                             *)
 type module_binding     (* The type of recursive module definitions                   *)
 type with_constr        (* The type of `with' constraints                             *)

  • Classes:
 type class_type         (* The type of class types                                    *)
 type class_sig_item     (* The type of class signature items                          *)
 type class_expr         (* The type of class expressions                              *)
 type class_str_item     (* The type of class structure items                          *)
Personal tools
Espace privé