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 |
| Unavailable_type_constructor of Path.t |
| 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 : Stdlib.Format.formatter -> error -> unit