package ocaml-base-compiler

  1. Overview
  2. Docs
exception Dont_match
type type_mismatch =
  1. | Arity
  2. | Privacy
  3. | Kind
  4. | Constraint
  5. | Manifest
  6. | Variance
  7. | Field_type of Ident.t
  8. | Field_mutable of Ident.t
  9. | Field_arity of Ident.t
  10. | Field_names of int * Ident.t * Ident.t
  11. | Field_missing of bool * Ident.t
  12. | Record_representation of bool
  13. | Unboxed_representation of bool
  14. | Immediate
val type_declarations : ?equality:bool -> loc:Location.t -> Env.t -> mark:bool -> string -> Types.type_declaration -> Ident.t -> Types.type_declaration -> type_mismatch list
val extension_constructors : loc:Location.t -> Env.t -> mark:bool -> Ident.t -> Types.extension_constructor -> Types.extension_constructor -> bool
val report_type_mismatch : string -> string -> string -> Format.formatter -> type_mismatch list -> unit