Module Typeclass

type 'a class_info = {
cls_id : Ident.t;
cls_id_loc : string Asttypes.loc;
cls_decl : Types.class_declaration;
cls_ty_id : Ident.t;
cls_ty_decl : Types.class_type_declaration;
cls_obj_id : Ident.t;
cls_obj_abbr : Types.type_declaration;
cls_typesharp_id : Ident.t;
cls_abbr : Types.type_declaration;
cls_arity : int;
cls_pub_methods : string list;
cls_info : 'a;
}
type class_type_info = {
clsty_ty_id : Ident.t;
clsty_id_loc : string Asttypes.loc;
clsty_ty_decl : Types.class_type_declaration;
clsty_obj_id : Ident.t;
clsty_obj_abbr : Types.type_declaration;
clsty_typesharp_id : Ident.t;
clsty_abbr : Types.type_declaration;
clsty_info : Typedtree.class_type_declaration;
}
val class_declarations : Env.t -> Parsetree.class_declaration list -> Typedtree.class_declaration class_info list * Env.t
val class_descriptions : Env.t -> Parsetree.class_description list -> Typedtree.class_description class_info list * Env.t
val class_type_declarations : Env.t -> Parsetree.class_description list -> class_type_info list * Env.t
val approx_class_declarations : Env.t -> Parsetree.class_description list -> class_type_info list
val virtual_methods : Types.class_signature -> Asttypes.label list
type error =
| Unconsistent_constraint of Ctype.Unification_trace.t
| Field_type_mismatch of string * string * Ctype.Unification_trace.t
| Structure_expected of Types.class_type
| Cannot_apply of Types.class_type
| Apply_wrong_label of Asttypes.arg_label
| Pattern_type_clash of Types.type_expr
| Repeated_parameter
| Unbound_class_2 of Longident.t
| Unbound_class_type_2 of Longident.t
| Abbrev_type_clash of Types.type_expr * Types.type_expr * Types.type_expr
| Constructor_type_mismatch of string * Ctype.Unification_trace.t
| Virtual_class of bool * bool * string list * string list
| Parameter_arity_mismatch of Longident.t * int * int
| Parameter_mismatch of Ctype.Unification_trace.t
| Bad_parameters of Ident.t * Types.type_expr * Types.type_expr
| Class_match_failure of Ctype.class_match_failure list
| Unbound_val of string
| Unbound_type_var of Stdlib.Format.formatter -> unit * Ctype.closed_class_failure
| Non_generalizable_class of Ident.t * Types.class_declaration
| Cannot_coerce_self of Types.type_expr
| Non_collapsable_conjunction of Ident.t * Types.class_declaration * Ctype.Unification_trace.t
| Final_self_clash of Ctype.Unification_trace.t
| Mutability_mismatch of string * Asttypes.mutable_flag
| No_overriding of string * string
| Duplicate of string * string
| Closing_self_type of Types.type_expr
exception Error of Location.t * Env.t * error
exception Error_forward of Location.error
val report_error : Env.t -> Stdlib.Format.formatter -> error -> unit
val type_open_descr : (?⁠used_slot:bool Stdlib.ref -> Env.t -> Parsetree.open_description -> Typedtree.open_description * Env.t) Stdlib.ref