package ocaml-base-compiler

  1. Overview
  2. Docs
val transl_type_extension : bool -> Env.t -> Location.t -> Parsetree.type_extension -> Typedtree.type_extension * Env.t
val abstract_type_decl : int -> Types.type_declaration
val approx_type_decl : Parsetree.type_declaration list -> (Ident.t * Types.type_declaration) list
val check_recmod_typedecl : Env.t -> Location.t -> Ident.t list -> Path.t -> Types.type_declaration -> unit
val check_coherence : Env.t -> Location.t -> Ident.t -> Types.type_declaration -> unit
val is_fixed_type : Parsetree.type_declaration -> bool
val get_unboxed_type_representation : Env.t -> Types.type_expr -> Types.type_expr option
type native_repr_kind =
  1. | Unboxed
  2. | Untagged
type error =
  1. | Repeated_parameter
  2. | Duplicate_constructor of string
  3. | Too_many_constructors
  4. | Duplicate_label of string
  5. | Recursive_abbrev of string
  6. | Cycle_in_def of string * Types.type_expr
  7. | Definition_mismatch of Types.type_expr * Includecore.type_mismatch list
  8. | Constraint_failed of Types.type_expr * Types.type_expr
  9. | Inconsistent_constraint of Env.t * (Types.type_expr * Types.type_expr) list
  10. | Type_clash of Env.t * (Types.type_expr * Types.type_expr) list
  11. | Parameters_differ of Path.t * Types.type_expr * Types.type_expr
  12. | Null_arity_external
  13. | Missing_native_external
  14. | Unbound_type_var of Types.type_expr * Types.type_declaration
  15. | Cannot_extend_private_type of Path.t
  16. | Not_extensible_type of Path.t
  17. | Extension_mismatch of Path.t * Includecore.type_mismatch list
  18. | Rebind_wrong_type of Longident.t * Env.t * (Types.type_expr * Types.type_expr) list
  19. | Rebind_mismatch of Longident.t * Path.t * Path.t
  20. | Rebind_private of Longident.t
  21. | Bad_variance of int * bool * bool * bool * bool * bool * bool
  22. | Unavailable_type_constructor of Path.t
  23. | Bad_fixed_type of string
  24. | Unbound_type_var_ext of Types.type_expr * Types.extension_constructor
  25. | Varying_anonymous
  26. | Val_in_structure
  27. | Multiple_native_repr_attributes
  28. | Cannot_unbox_or_untag_type of native_repr_kind
  29. | Deep_unbox_or_untag_attribute of native_repr_kind
  30. | Bad_immediate_attribute
  31. | Bad_unboxed_attribute of string
  32. | Wrong_unboxed_type_float
  33. | Boxed_and_unboxed
  34. | Nonrec_gadt
exception Error of Location.t * error
val report_error : Format.formatter -> error -> unit