diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-04-19 03:14:02 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-04-19 03:14:02 +0000 |
| commit | 6443cd6417123b5bc7a93b19bae5864b6b32fe33 (patch) | |
| tree | 2deeaac1c7a23deda02d92f747aa8564f12078ff | |
| parent | 6716e9d3071ef16011693ed073bfa11d817a62bf (diff) | |
bug in eqtype on variants
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3109 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/ctype.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/typing/ctype.ml b/typing/ctype.ml index 8777a1418..627d1a727 100644 --- a/typing/ctype.ml +++ b/typing/ctype.ml @@ -1726,7 +1726,8 @@ and eqtype_row rename type_pairs subst env row1 row2 = || not row1.row_closed && (r1 <> [] || r2 <> []) || filter_row_fields false (r1 @ r2) <> [] then raise (Unify []); - eqtype rename type_pairs subst env row1.row_more row2.row_more; + if not (static_row row1) then + eqtype rename type_pairs subst env row1.row_more row2.row_more; List.iter (fun (_,f1,f2) -> match row_field_repr f1, row_field_repr f2 with |