diff options
| -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 |