diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-01-24 01:33:47 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-01-24 01:33:47 +0000 |
| commit | 91172c1d7b6b0d671d5d51cfa2171db2655a1f57 (patch) | |
| tree | 16f640565844f28617c5af5e0b3095082710a747 | |
| parent | 477b2dd743756799dbcac248e172f2efff9de14e (diff) | |
| download | ocaml-91172c1d7b6b0d671d5d51cfa2171db2655a1f57.tar.gz | |
disable shortening if Env.empty
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12075 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/printtyp.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/typing/printtyp.ml b/typing/printtyp.ml index 054e842ffd..9ae5609c77 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -208,8 +208,9 @@ let rec path_length = function let same_type t t' = repr t == repr t' let rec best_type_path p = - if !Clflags.real_paths then p else - try + if !Clflags.real_paths || !printing_env == Env.empty || path_length p = 1 + then p + else try let desc = Env.find_type p !printing_env in if desc.type_private = Private then p else match desc.type_manifest with |