Bug d'affichage des variables non generiques.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1349 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-09 14:22:24 +00:00 · 1997-03-09 14:22:24 +00:00 · 0e43b8c79f
parent be33766263
commit 0e43b8c79f
1 changed files with 3 additions and 1 deletions
--- a/typing/printtyp.ml
+++ b/typing/printtyp.ml
@ -143,7 +143,9 @@ let rec typexp sch prio0 ty =
  let ty = repr ty in
  try
    List.assq ty !names;
-    print_string "'";
+    if (ty.desc = Tvar) && sch && (ty.level <> generic_level)
+    then print_string "'_"
+    else print_string "'";
    print_string (name_of_type ty)
  with Not_found ->
    let alias = List.memq ty !aliased in