ocaml-base-compiler
Official release 4.12.1
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
back to documentation root
package ocaml-base-compiler
-
dynlink
-
ocamlbytecomp
-
ocamlcommon
-
ocamlmiddleend
-
ocamloptcomp
-
odoc_info
-
stdlib
-
str
-
unix
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Manual
Module
Parsetree
type constant =
| Pconst_integer of string * char option |
| Pconst_char of char |
| Pconst_string of string * Location.t * string option |
| Pconst_float of string * char option |
type location_stack = Location.t list
Extension points
and extension = string Asttypes.loc * payload
and attributes = attribute list
and payload =
| PStr of structure |
| PSig of signature |
| PTyp of core_type |
| PPat of pattern * expression option |
Core language
and core_type = {
ptyp_desc : core_type_desc; |
ptyp_loc : Location.t; |
ptyp_loc_stack : location_stack; |
ptyp_attributes : attributes; |
}
and core_type_desc =
| Ptyp_any |
| Ptyp_var of string |
| Ptyp_arrow of Asttypes.arg_label * core_type * core_type |
| Ptyp_tuple of core_type list |
| Ptyp_constr of Longident.t Asttypes.loc * core_type list |
| Ptyp_object of object_field list * Asttypes.closed_flag |
| Ptyp_class of Longident.t Asttypes.loc * core_type list |
| Ptyp_alias of core_type * string |
| Ptyp_variant of row_field list
* Asttypes.closed_flag
* Asttypes.label list option |
| Ptyp_poly of string Asttypes.loc list * core_type |
| Ptyp_package of package_type |
| Ptyp_extension of extension |
and package_type =
Longident.t Asttypes.loc * (Longident.t Asttypes.loc * core_type) list
and row_field_desc =
| Rtag of Asttypes.label Asttypes.loc * bool * core_type list |
| Rinherit of core_type |
and pattern = {
ppat_desc : pattern_desc; |
ppat_loc : Location.t; |
ppat_loc_stack : location_stack; |
ppat_attributes : attributes; |
}
and pattern_desc =
| Ppat_any |
| Ppat_var of string Asttypes.loc |
| Ppat_alias of pattern * string Asttypes.loc |
| Ppat_constant of constant |
| Ppat_interval of constant * constant |
| Ppat_tuple of pattern list |
| Ppat_construct of Longident.t Asttypes.loc * pattern option |
| Ppat_variant of Asttypes.label * pattern option |
| Ppat_record of (Longident.t Asttypes.loc * pattern) list * Asttypes.closed_flag |
| Ppat_array of pattern list |
| Ppat_or of pattern * pattern |
| Ppat_constraint of pattern * core_type |
| Ppat_type of Longident.t Asttypes.loc |
| Ppat_lazy of pattern |
| Ppat_unpack of string option Asttypes.loc |
| Ppat_exception of pattern |
| Ppat_extension of extension |
| Ppat_open of Longident.t Asttypes.loc * pattern |
and expression = {
pexp_desc : expression_desc; |
pexp_loc : Location.t; |
pexp_loc_stack : location_stack; |
pexp_attributes : attributes; |
}
and expression_desc =
and binding_op = {
pbop_op : string Asttypes.loc; |
pbop_pat : pattern; |
pbop_exp : expression; |
pbop_loc : Location.t; |
}
and value_description = {
pval_name : string Asttypes.loc; |
pval_type : core_type; |
pval_prim : string list; |
pval_attributes : attributes; |
pval_loc : Location.t; |
}
and type_declaration = {
ptype_name : string Asttypes.loc; |
ptype_params : (core_type * (Asttypes.variance * Asttypes.injectivity)) list; |
ptype_cstrs : (core_type * core_type * Location.t) list; |
ptype_kind : type_kind; |
ptype_private : Asttypes.private_flag; |
ptype_manifest : core_type option; |
ptype_attributes : attributes; |
ptype_loc : Location.t; |
}
and type_kind =
| Ptype_abstract |
| Ptype_variant of constructor_declaration list |
| Ptype_record of label_declaration list |
| Ptype_open |
and label_declaration = {
pld_name : string Asttypes.loc; |
pld_mutable : Asttypes.mutable_flag; |
pld_type : core_type; |
pld_loc : Location.t; |
pld_attributes : attributes; |
}
and constructor_declaration = {
pcd_name : string Asttypes.loc; |
pcd_args : constructor_arguments; |
pcd_res : core_type option; |
pcd_loc : Location.t; |
pcd_attributes : attributes; |
}
and type_extension = {
ptyext_path : Longident.t Asttypes.loc; |
ptyext_params : (core_type * (Asttypes.variance * Asttypes.injectivity)) list; |
ptyext_constructors : extension_constructor list; |
ptyext_private : Asttypes.private_flag; |
ptyext_loc : Location.t; |
ptyext_attributes : attributes; |
}
and extension_constructor = {
pext_name : string Asttypes.loc; |
pext_kind : extension_constructor_kind; |
pext_loc : Location.t; |
pext_attributes : attributes; |
}
and type_exception = {
ptyexn_constructor : extension_constructor; |
ptyexn_loc : Location.t; |
ptyexn_attributes : attributes; |
}
and extension_constructor_kind =
| Pext_decl of constructor_arguments * core_type option |
| Pext_rebind of Longident.t Asttypes.loc |
Class language
and class_type_desc =
| Pcty_constr of Longident.t Asttypes.loc * core_type list |
| Pcty_signature of class_signature |
| Pcty_arrow of Asttypes.arg_label * core_type * class_type |
| Pcty_extension of extension |
| Pcty_open of open_description * class_type |
and class_type_field = {
pctf_desc : class_type_field_desc; |
pctf_loc : Location.t; |
pctf_attributes : attributes; |
}
and class_type_field_desc =
| Pctf_inherit of class_type |
| Pctf_val of Asttypes.label Asttypes.loc
* Asttypes.mutable_flag
* Asttypes.virtual_flag
* core_type |
| Pctf_method of Asttypes.label Asttypes.loc
* Asttypes.private_flag
* Asttypes.virtual_flag
* core_type |
| Pctf_constraint of core_type * core_type |
| Pctf_attribute of attribute |
| Pctf_extension of extension |
and 'a class_infos = {
pci_virt : Asttypes.virtual_flag; |
pci_params : (core_type * (Asttypes.variance * Asttypes.injectivity)) list; |
pci_name : string Asttypes.loc; |
pci_expr : 'a; |
pci_loc : Location.t; |
pci_attributes : attributes; |
}
and class_description = class_type class_infos
and class_type_declaration = class_type class_infos
and class_expr_desc =
| Pcl_constr of Longident.t Asttypes.loc * core_type list |
| Pcl_structure of class_structure |
| Pcl_fun of Asttypes.arg_label * expression option * pattern * class_expr |
| Pcl_apply of class_expr * (Asttypes.arg_label * expression) list |
| Pcl_let of Asttypes.rec_flag * value_binding list * class_expr |
| Pcl_constraint of class_expr * class_type |
| Pcl_extension of extension |
| Pcl_open of open_description * class_expr |
and class_field_desc =
| Pcf_inherit of Asttypes.override_flag * class_expr * string Asttypes.loc option |
| Pcf_val of Asttypes.label Asttypes.loc
* Asttypes.mutable_flag
* class_field_kind |
| Pcf_method of Asttypes.label Asttypes.loc
* Asttypes.private_flag
* class_field_kind |
| Pcf_constraint of core_type * core_type |
| Pcf_initializer of expression |
| Pcf_attribute of attribute |
| Pcf_extension of extension |
and class_field_kind =
| Cfk_virtual of core_type |
| Cfk_concrete of Asttypes.override_flag * expression |
and class_declaration = class_expr class_infos
Module language
and module_type = {
pmty_desc : module_type_desc; |
pmty_loc : Location.t; |
pmty_attributes : attributes; |
}
and module_type_desc =
| Pmty_ident of Longident.t Asttypes.loc |
| Pmty_signature of signature |
| Pmty_functor of functor_parameter * module_type |
| Pmty_with of module_type * with_constraint list |
| Pmty_typeof of module_expr |
| Pmty_extension of extension |
| Pmty_alias of Longident.t Asttypes.loc |
and signature = signature_item list