diff options
author | Florian Angeletti <octa@polychoron.fr> | 2018-09-10 22:15:45 +0200 |
---|---|---|
committer | Florian Angeletti <octa@polychoron.fr> | 2018-10-17 17:27:16 +0200 |
commit | 3de40984ba53b0acddeb44483af30e132b3929d6 (patch) | |
tree | b72731e0ac8cf7cc79c6458336ec70f5c7b8200b /typing/typeclass.mli | |
parent | 7bb013e8deedcaeef6623493c517711c98373e2c (diff) | |
download | ocaml-3de40984ba53b0acddeb44483af30e132b3929d6.tar.gz |
a type for unification traces
Diffstat (limited to 'typing/typeclass.mli')
-rw-r--r-- | typing/typeclass.mli | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/typing/typeclass.mli b/typing/typeclass.mli index cedb01a4f1..fef192d060 100644 --- a/typing/typeclass.mli +++ b/typing/typeclass.mli @@ -90,8 +90,8 @@ val type_classes : *) type error = - Unconsistent_constraint of (type_expr * type_expr) list - | Field_type_mismatch of string * string * (type_expr * type_expr) list + Unconsistent_constraint of Ctype.Unification_trace.t + | Field_type_mismatch of string * string * Ctype.Unification_trace.t | Structure_expected of class_type | Cannot_apply of class_type | Apply_wrong_label of arg_label @@ -100,10 +100,10 @@ type error = | Unbound_class_2 of Longident.t | Unbound_class_type_2 of Longident.t | Abbrev_type_clash of type_expr * type_expr * type_expr - | Constructor_type_mismatch of string * (type_expr * type_expr) list + | 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 (type_expr * type_expr) list + | Parameter_mismatch of Ctype.Unification_trace.t | Bad_parameters of Ident.t * type_expr * type_expr | Class_match_failure of Ctype.class_match_failure list | Unbound_val of string @@ -111,8 +111,8 @@ type error = | Non_generalizable_class of Ident.t * Types.class_declaration | Cannot_coerce_self of type_expr | Non_collapsable_conjunction of - Ident.t * Types.class_declaration * (type_expr * type_expr) list - | Final_self_clash of (type_expr * type_expr) list + Ident.t * Types.class_declaration * Ctype.Unification_trace.t + | Final_self_clash of Ctype.Unification_trace.t | Mutability_mismatch of string * mutable_flag | No_overriding of string * string | Duplicate of string * string |