cp

generator/typing/ctype.ml

@@ -831,11 +831,11 @@ let close_hook ?(showtyp=(fun t -> ())) () =
             if debug_generic then begin
                Format.fprintf Format.err_formatter "-->was at level %d\n" t.level;
             end;
-            generalize_structure t;
+            generalize t;
             if debug_generic then begin
                Format.fprintf Format.err_formatter "-->now at level %d\n" t.level;
             end;
-            if (t.level = !current_level) && not (List.memq t !r) 
+            if (t.level = generic_level) && not (List.memq t !r) 
                then r := t::!r
          | Tunivar -> failwith "unsupported Tunivar type"
          | _ -> ()