fix PR#3638

git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.08@6968 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
bmeurer · Jul 12, 2005 · febf67d · febf67d
1 parent 235dc05
commit febf67d
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/typing/typeclass.ml b/typing/typeclass.ml
@@ -327,10 +327,11 @@ and class_signature env sty sign =
 
   (* Check that the binder is a correct type, and introduce a dummy
      method preventing self type from being closed. *)
+  let dummy_obj = Ctype.newvar () in
+  Ctype.unify env (Ctype.filter_method env dummy_method Private dummy_obj)
+    (Ctype.newty (Ttuple []));
   begin try
-    Ctype.unify env
-      (Ctype.filter_method env dummy_method Private self_type)
-      (Ctype.newty (Ttuple []))
+    Ctype.unify env self_type dummy_obj
   with Ctype.Unify _ ->
     raise(Error(sty.ptyp_loc, Pattern_type_clash self_type))
   end;