diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2011-09-22 09:05:42 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2011-09-22 09:05:42 +0000 |
| commit | 156fff1b8a1a3d4bbc0daae237dc55400a174a5a (patch) | |
| tree | 67c2585aebf1d8e1da7aac1c925140274218be45 /toplevel | |
| parent | 5b34aabb042f16eb2802af6918ba1b3a6aaa20c4 (diff) | |
| download | ocaml-156fff1b8a1a3d4bbc0daae237dc55400a174a5a.tar.gz | |
Keep type variable names
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/genprintval.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/toplevel/genprintval.ml b/toplevel/genprintval.ml index fe91213f32..9d4311c85d 100644 --- a/toplevel/genprintval.ml +++ b/toplevel/genprintval.ml @@ -180,7 +180,7 @@ module Make(O : OBJ)(EVP : EVALPATH with type value = O.t) = struct find_printer env ty obj with Not_found -> match (Ctype.repr ty).desc with - | Tvar -> + | Tvar _ | Tunivar _ -> Oval_stuff "<poly>" | Tarrow(_, ty1, ty2, _) -> Oval_stuff "<fun>" @@ -327,8 +327,6 @@ module Make(O : OBJ)(EVP : EVALPATH with type value = O.t) = struct fatal_error "Printval.outval_of_value" | Tpoly (ty, _) -> tree_of_val (depth - 1) obj ty - | Tunivar -> - Oval_stuff "<poly>" | Tpackage _ -> Oval_stuff "<module>" end |