fix PR#2062

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6312 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-23 09:06:58 +00:00 · 2004-05-23 09:06:58 +00:00 · e364e6c254
parent 76c5955b80
commit e364e6c254
1 changed files with 2 additions and 2 deletions
--- a/typing/ctype.ml
+++ b/typing/ctype.ml
@ -1465,9 +1465,9 @@ and unify3 env t1 t1' t2 t2' =
        unify_row env row1 row2
    | (Tfield _, Tfield _) ->           (* Actually unused *)
        unify_fields env t1' t2'
-    | (Tfield(_,kind,_,rem), Tnil) | (Tnil, Tfield(_,kind,_,rem)) ->
+    | (Tfield(f,kind,_,rem), Tnil) | (Tnil, Tfield(f,kind,_,rem)) ->
        begin match field_kind_repr kind with
-          Fvar r -> r := Some Fabsent
+          Fvar r when f <> dummy_method -> set_kind r Fabsent
        | _      -> raise (Unify [])
        end
    | (Tnil, Tnil) ->