diff options
author | Alain Frisch <alain@frisch.fr> | 2007-07-15 09:19:41 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2007-07-15 09:19:41 +0000 |
commit | 56ccf116a04ffac18c3fad3bd7928f2cfeb2739c (patch) | |
tree | 881b4bc5ab3d7007ca8baf3ea8d1bfda8a655c16 | |
parent | 5101046a4deacf3ad6b7edf67580217af85950a3 (diff) | |
download | ocaml-56ccf116a04ffac18c3fad3bd7928f2cfeb2739c.tar.gz |
Fix bug:
module X = (struct class forum = object method f () = {{ 3 }} end end
: sig class forum: object method f: unit -> {{ Int }} end end)
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/cducetrunk@8386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | typing/ctype.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/typing/ctype.ml b/typing/ctype.ml index 53ad03139c..b566d130d3 100644 --- a/typing/ctype.ml +++ b/typing/ctype.ml @@ -2273,10 +2273,8 @@ let rec eqtype rename type_pairs subst env t1 t2 = end | Text _, Text _ when !extmode -> () - | Text { ext_const = Some t1 }, Text { ext_const = Some t2 } -> - if not (Cduce_types.Types.equiv t1 t2) then - raise (Unify []) - | Text _, Text _ -> assert false + | Text _, Text _ -> + unify env t1' t2' | (Tarrow (l1, t1, u1, _), Tarrow (l2, t2, u2, _)) when l1 = l2 || !Clflags.classic && not (is_optional l1 || is_optional l2) -> eqtype rename type_pairs subst env t1 t2; |