package ocaml-base-compiler
Official release 4.08.1
Install
dune-project
Dependency
Authors
Maintainers
Sources
4.08.1.tar.gz
sha256=b53ed3d487b83fd49bc181bded066ae8e6fb592cf40514261d27d36050d5db85
md5=723b6bfe8cf5abcbccc6911143f71055
doc/ocamlcommon/Typedecl/index.html
Module Typedecl
val transl_type_decl :
Env.t ->
Asttypes.rec_flag ->
Parsetree.type_declaration list ->
Typedtree.type_declaration list * Env.tval transl_exception :
Env.t ->
Parsetree.extension_constructor ->
Typedtree.extension_constructor * Env.tval transl_type_exception :
Env.t ->
Parsetree.type_exception ->
Typedtree.type_exception * Env.tval transl_type_extension :
bool ->
Env.t ->
Location.t ->
Parsetree.type_extension ->
Typedtree.type_extension * Env.tval transl_value_decl :
Env.t ->
Location.t ->
Parsetree.value_description ->
Typedtree.value_description * Env.tval transl_with_constraint :
Env.t ->
Ident.t ->
Path.t option ->
Types.type_declaration ->
Parsetree.type_declaration ->
Typedtree.type_declarationval abstract_type_decl : int -> Types.type_declarationval approx_type_decl :
Parsetree.type_declaration list ->
(Ident.t * Types.type_declaration) listval check_recmod_typedecl :
Env.t ->
Location.t ->
Ident.t list ->
Path.t ->
Types.type_declaration ->
unitval check_coherence :
Env.t ->
Location.t ->
Path.t ->
Types.type_declaration ->
unitval is_fixed_type : Parsetree.type_declaration -> boolval get_unboxed_type_representation :
Env.t ->
Types.type_expr ->
Types.type_expr optiontype error = | Repeated_parameter| Duplicate_constructor of string| Too_many_constructors| Duplicate_label of string| Recursive_abbrev of string| Cycle_in_def of string * Types.type_expr| Definition_mismatch of Types.type_expr * Includecore.type_mismatch option| Constraint_failed of Types.type_expr * Types.type_expr| Inconsistent_constraint of Env.t * Ctype.Unification_trace.t| Type_clash of Env.t * Ctype.Unification_trace.t| Parameters_differ of Path.t * Types.type_expr * Types.type_expr| Null_arity_external| Missing_native_external| Unbound_type_var of Types.type_expr * Types.type_declaration| Cannot_extend_private_type of Path.t| Not_extensible_type of Path.t| Extension_mismatch of Path.t * Includecore.type_mismatch| Rebind_wrong_type of Longident.t * Env.t * Ctype.Unification_trace.t| Rebind_mismatch of Longident.t * Path.t * Path.t| Rebind_private of Longident.t| Variance of Typedecl_variance.error| Bad_fixed_type of string| Unbound_type_var_ext of Types.type_expr * Types.extension_constructor| Val_in_structure| Multiple_native_repr_attributes| Cannot_unbox_or_untag_type of native_repr_kind| Deep_unbox_or_untag_attribute of native_repr_kind| Immediacy of Typedecl_immediacy.error| Bad_unboxed_attribute of string| Wrong_unboxed_type_float| Boxed_and_unboxed| Nonrec_gadt
exception Error of Location.t * errorval report_error : Format.formatter -> error -> unit