diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-01-01 06:29:31 +0100 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-01-01 06:29:31 +0100 |
| commit | 96721fed8e350b7bfad63d7549eac48990bd0a17 (patch) | |
| tree | f745d76a3c5c0e3c67396cbd1f349740b0afecb3 /typing/typeclass.mli | |
| parent | b8d60217a17c9b2fab5af59095508e1c2a46c36a (diff) | |
| download | ocaml-96721fed8e350b7bfad63d7549eac48990bd0a17.tar.gz | |
free_vars: use informative types
Diffstat (limited to 'typing/typeclass.mli')
| -rw-r--r-- | typing/typeclass.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/typing/typeclass.mli b/typing/typeclass.mli index 77eb2d18b1..4b6f734f8a 100644 --- a/typing/typeclass.mli +++ b/typing/typeclass.mli @@ -111,8 +111,7 @@ type error = | Bad_class_type_parameters of Ident.t * type_expr list * type_expr list | Class_match_failure of Ctype.class_match_failure list | Unbound_val of string - | Unbound_type_var of - (formatter -> unit) * (type_expr * bool * string * type_expr) + | Unbound_type_var of (formatter -> unit) * Ctype.closed_class_failure | Non_generalizable_class of Ident.t * Types.class_declaration | Cannot_coerce_self of type_expr | Non_collapsable_conjunction of |