Do not reset type variable names in Unbound_type_var (PR#4191).

Avoid breaking PR#1412. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7780 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-12-27 14:41:23 +00:00 · 2006-12-27 14:41:23 +00:00 · 033ce4b17a
parent 401c137866
commit 033ce4b17a
1 changed files with 1 additions and 1 deletions
--- a/typing/typeclass.ml
+++ b/typing/typeclass.ml
@ -1539,7 +1539,7 @@ let report_error ppf = function
      let print_common ppf kind ty0 real lab ty =
        let ty1 =
          if real then ty0 else Btype.newgenty(Tobject(ty0, ref None)) in
-        Printtyp.reset_and_mark_loops_list [ty; ty1];
+        Printtyp.mark_loops ty1;
        fprintf ppf
          "The %s %s@ has type@;<1 2>%a@ where@ %a@ is unbound"
            kind lab Printtyp.type_expr ty Printtyp.type_expr ty0