diff options
author | Alain Frisch <alain@frisch.fr> | 2007-04-30 09:44:57 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2007-04-30 09:44:57 +0000 |
commit | 99aa5b0943bc5a36bb44b051869ba56ad544c668 (patch) | |
tree | 6d1c55b14a9d42905b9841a5cbfd718a020945cf | |
parent | f7e5ba71d6a745ebae6770f26fe0dd3c2db4f8f7 (diff) | |
download | ocaml-99aa5b0943bc5a36bb44b051869ba56ad544c668.tar.gz |
fix bug reported by V. Balat
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/cducetrunk@8205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | typing/ctype.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/typing/ctype.ml b/typing/ctype.ml index b00ffe8ad8..5205f1fda6 100644 --- a/typing/ctype.ml +++ b/typing/ctype.ml @@ -2276,6 +2276,8 @@ let rec eqtype rename type_pairs subst env t1 t2 = with Not_found -> subst := (t1', t2') :: !subst 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 []) |