diff options
author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1998-08-17 16:03:33 +0000 |
---|---|---|
committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1998-08-17 16:03:33 +0000 |
commit | 6ab901d67a7c23dc406de15af9c1b74198d3d787 (patch) | |
tree | 6b26f2f314cff72c57bee88e8e5e6b60b038eedc /typing/typeclass.mli | |
parent | cf4075a55f82396205f8c578e05c11c22c6e187f (diff) | |
download | ocaml-6ab901d67a7c23dc406de15af9c1b74198d3d787.tar.gz |
Bug...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2074 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/typeclass.mli')
-rw-r--r-- | typing/typeclass.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/typeclass.mli b/typing/typeclass.mli index 58904422ee..5bdd02d387 100644 --- a/typing/typeclass.mli +++ b/typing/typeclass.mli @@ -58,7 +58,7 @@ type error = | Unbound_val of string | Unbound_type_var of (unit -> unit) * Ctype.closed_class_failure | Make_nongen_seltype of type_expr - | Non_generalizable_class of (unit -> unit) + | Non_generalizable_class of Ident.t * Types.class_declaration exception Error of Location.t * error |