jon.recoil.org

Module Ocaml_typing.Typeclass

type 'a class_info = {
  1. cls_id : Ocaml_typing.Ident.t;
  2. cls_id_loc : string Ocaml_parsing.Asttypes.loc;
  3. cls_decl : Ocaml_typing.Types.class_declaration;
  4. cls_ty_id : Ocaml_typing.Ident.t;
  5. cls_ty_decl : Ocaml_typing.Types.class_type_declaration;
  6. cls_obj_id : Ocaml_typing.Ident.t;
  7. cls_obj_abbr : Ocaml_typing.Types.type_declaration;
  8. cls_abbr : Ocaml_typing.Types.type_declaration;
  9. cls_arity : int;
  10. cls_pub_methods : string list;
  11. cls_info : 'a;
}
type kind =
  1. | Object
  2. | Class
  3. | Class_type
type error =
  1. | Unconsistent_constraint of Ocaml_typing.Errortrace.unification_error
  2. | Field_type_mismatch of string * string * Ocaml_typing.Errortrace.unification_error
  3. | Unexpected_field of Ocaml_typing.Types.type_expr * string
  4. | Structure_expected of Ocaml_typing.Types.class_type
  5. | Cannot_apply of Ocaml_typing.Types.class_type
  6. | Apply_wrong_label of Ocaml_typing.Types.arg_label
  7. | Pattern_type_clash of Ocaml_typing.Types.type_expr
  8. | Repeated_parameter
  9. | Unbound_class_2 of Ocaml_parsing.Longident.t
  10. | Unbound_class_type_2 of Ocaml_parsing.Longident.t
  11. | Abbrev_type_clash of Ocaml_typing.Types.type_expr * Ocaml_typing.Types.type_expr * Ocaml_typing.Types.type_expr
  12. | Constructor_type_mismatch of string * Ocaml_typing.Errortrace.unification_error
  13. | Virtual_class of Ocaml_typing.Typeclass.kind * string list * string list
  14. | Undeclared_methods of Ocaml_typing.Typeclass.kind * string list
  15. | Parameter_arity_mismatch of Ocaml_parsing.Longident.t * int * int
  16. | Parameter_mismatch of Ocaml_typing.Errortrace.unification_error
  17. | Bad_parameters of Ocaml_typing.Ident.t * Ocaml_typing.Types.type_expr list * Ocaml_typing.Types.type_expr list
  18. | Bad_class_type_parameters of Ocaml_typing.Ident.t * Ocaml_typing.Types.type_expr list * Ocaml_typing.Types.type_expr list
  19. | Class_match_failure of Ocaml_typing.Ctype.class_match_failure list
  20. | Unbound_val of string
  21. | Unbound_type_var of Stdlib.Format.formatter -> unit * Ocaml_typing.Ctype.closed_class_failure
  22. | Non_generalizable_class of {
    1. id : Ocaml_typing.Ident.t;
    2. clty : Ocaml_typing.Types.class_declaration;
    3. nongen_vars : Ocaml_typing.Types.type_expr list;
    }
  23. | Cannot_coerce_self of Ocaml_typing.Types.type_expr
  24. | Non_collapsable_conjunction of Ocaml_typing.Ident.t * Ocaml_typing.Types.class_declaration * Ocaml_typing.Errortrace.unification_error
  25. | Self_clash of Ocaml_typing.Errortrace.unification_error
  26. | Mutability_mismatch of string * Ocaml_parsing.Asttypes.mutable_flag
  27. | No_overriding of string * string
  28. | Duplicate of string * string
  29. | Closing_self_type of Ocaml_typing.Types.class_signature
  30. | Polymorphic_class_parameter
  31. | Non_value_binding of string * Ocaml_typing.Jkind.Violation.t
  32. | Non_value_let_binding of string * Ocaml_typing.Jkind.sort
  33. | Nonoptional_call_pos_label of string
exception Error_forward of Ocaml_parsing.Location.error