diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1996-05-20 16:43:29 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1996-05-20 16:43:29 +0000 |
| commit | d6770a923112fbfd6935e9b08f82051e01c73768 (patch) | |
| tree | 1f7aefc5e0de1e417e96fc2997e10fc9206df6d6 /typing/typeclass.mli | |
| parent | ce301ce8fb46ce57a19a1323c9a6e6959da4d749 (diff) | |
| download | ocaml-d6770a923112fbfd6935e9b08f82051e01c73768.tar.gz | |
Amelioration des messages d'erreurs d'unification (expansion des
abbreviations).
Typeclass: correction d'un bug de typage.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@828 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/typeclass.mli')
| -rw-r--r-- | typing/typeclass.mli | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/typing/typeclass.mli b/typing/typeclass.mli index b5e72e3c52..163e01dbe2 100644 --- a/typing/typeclass.mli +++ b/typing/typeclass.mli @@ -36,17 +36,17 @@ type error = | Non_closed of Ident.t * type_expr list * type_expr | Mutable_var of string | Undefined_var of string - | Variable_type_mismatch of string * type_expr * type_expr - | Method_type_mismatch of string * type_expr * type_expr + | Variable_type_mismatch of string * (type_expr * type_expr) list + | Method_type_mismatch of string * (type_expr * type_expr) list | Unconsistent_constraint | Unbound_class of Longident.t - | Argument_type_mismatch of type_expr * type_expr + | Argument_type_mismatch of (type_expr * type_expr) list | Abbrev_type_clash of type_expr * type_expr * type_expr | Bad_parameters of Ident.t * type_expr * type_expr | Illdefined_class of string | Argument_arity_mismatch of Path.t * int * int | Parameter_arity_mismatch of Path.t * int * int - | Parameter_mismatch of type_expr * type_expr + | Parameter_mismatch of (type_expr * type_expr) list exception Error of Location.t * error |