Module Includecore

type position = Errortrace.position =
  1. | First
  2. | Second
type primitive_mismatch =
  1. | Name
  2. | Arity
  3. | No_alloc of position
  4. | Native_name
  5. | Result_repr
  6. | Argument_repr of int
type value_mismatch =
  1. | Primitive_mismatch of primitive_mismatch
  2. | Not_a_primitive
  3. | Type of Env.t * Errortrace.comparison Errortrace.t
exception Dont_match of value_mismatch
type label_mismatch =
  1. | Type of Env.t * Errortrace.comparison Errortrace.t
  2. | Mutability of position
type record_mismatch =
  1. | Label_mismatch of Types.label_declaration * Types.label_declaration * label_mismatch
  2. | Label_names of int * Ident.t * Ident.t
  3. | Label_missing of position * Ident.t
  4. | Unboxed_float_representation of position
type constructor_mismatch =
  1. | Type of Env.t * Errortrace.comparison Errortrace.t
  2. | Arity
  3. | Inline_record of record_mismatch
  4. | Kind of position
  5. | Explicit_return_type of position
type variant_mismatch =
  1. | Constructor_mismatch of Types.constructor_declaration * Types.constructor_declaration * constructor_mismatch
  2. | Constructor_names of int * Ident.t * Ident.t
  3. | Constructor_missing of position * Ident.t
type extension_constructor_mismatch =
  1. | Constructor_privacy
  2. | Constructor_mismatch of Ident.t * Types.extension_constructor * Types.extension_constructor * constructor_mismatch
type private_variant_mismatch =
  1. | Openness
  2. | Missing of position * string
  3. | Presence of string
  4. | Incompatible_types_for of string
  5. | Types of Env.t * Errortrace.comparison Errortrace.t
type private_object_mismatch =
  1. | Missing of string
  2. | Types of Env.t * Errortrace.comparison Errortrace.t
type type_mismatch =
  1. | Arity
  2. | Privacy
  3. | Kind
  4. | Constraint of Env.t * Errortrace.comparison Errortrace.t
  5. | Manifest of Env.t * Errortrace.comparison Errortrace.t
  6. | Private_variant of Types.type_expr * Types.type_expr * private_variant_mismatch
  7. | Private_object of Types.type_expr * Types.type_expr * private_object_mismatch
  8. | Variance
  9. | Record_mismatch of record_mismatch
  10. | Variant_mismatch of variant_mismatch
  11. | Unboxed_representation of position
  12. | Immediate of Type_immediacy.Violation.t
val type_declarations : ?equality:bool -> loc:Location.t -> Env.t -> mark:bool -> string -> Types.type_declaration -> Path.t -> Types.type_declaration -> type_mismatch option
val extension_constructors : loc:Location.t -> Env.t -> mark:bool -> Ident.t -> Types.extension_constructor -> Types.extension_constructor -> extension_constructor_mismatch option
val report_type_mismatch : string -> string -> string -> Format.formatter -> type_mismatch -> unit
val report_extension_constructor_mismatch : string -> string -> string -> Format.formatter -> extension_constructor_mismatch -> unit