diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-09 14:22:24 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-09 14:22:24 +0000 |
| commit | 0e43b8c79f703cf452a0a29d589812a3d8a35b2b (patch) | |
| tree | 83357549326c42e6bab1bc7fca03d26745820792 | |
| parent | be337662634824d98c79e7c42236e6ad9ace0158 (diff) | |
Bug d'affichage des variables non generiques.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1349 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/printtyp.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/typing/printtyp.ml b/typing/printtyp.ml index f9a56857f..6062f2ed0 100644 --- 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 |