merlin-lib 4.17.1-414 · OCaml Package

type 'a class_info = {

cls_id : Ident.t;
cls_id_loc : string Ocaml_parsing.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 Ocaml_parsing.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 ->
  Ocaml_parsing.Parsetree.class_declaration list ->
  Typedtree.class_declaration class_info list * Env.t

val class_descriptions : 
  Env.t ->
  Ocaml_parsing.Parsetree.class_description list ->
  Typedtree.class_description class_info list * Env.t

val class_type_declarations : 
  Env.t ->
  Ocaml_parsing.Parsetree.class_description list ->
  class_type_info list * Env.t

val approx_class_declarations : 
  Env.t ->
  Ocaml_parsing.Parsetree.class_description list ->
  class_type_info list

type kind =

| Object
| Class
| Class_type

type error =

| Unconsistent_constraint of Errortrace.unification_error
| Field_type_mismatch of string * string * Errortrace.unification_error
| Unexpected_field of Types.type_expr * string
| Structure_expected of Types.class_type
| Cannot_apply of Types.class_type
| Apply_wrong_label of Ocaml_parsing.Asttypes.arg_label
| Pattern_type_clash of Types.type_expr
| Repeated_parameter
| Unbound_class_2 of Ocaml_parsing.Longident.t
| Unbound_class_type_2 of Ocaml_parsing.Longident.t
| Abbrev_type_clash of Types.type_expr * Types.type_expr * Types.type_expr
| Constructor_type_mismatch of string * Errortrace.unification_error
| Virtual_class of kind * string list * string list
| Undeclared_methods of kind * string list
| Parameter_arity_mismatch of Ocaml_parsing.Longident.t * int * int
| Parameter_mismatch of Errortrace.unification_error
| 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 * Types.type_expr * bool * string * Types.type_expr
| 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 * Errortrace.unification_error
| Self_clash of Errortrace.unification_error
| Mutability_mismatch of string * Ocaml_parsing.Asttypes.mutable_flag
| No_overriding of string * string
| Duplicate of string * string
| Closing_self_type of Types.class_signature

exception Error of Ocaml_parsing.Location.t * Env.t * error

exception Error_forward of Ocaml_parsing.Location.error

val report_error : Env.t -> Stdlib.Format.formatter -> error -> unit

val type_open_descr : 
  (?used_slot:bool Stdlib.ref ->
    Env.t ->
    Ocaml_parsing.Parsetree.open_description ->
    Typedtree.open_description * Env.t)
    Stdlib.ref

package merlin-lib