diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-03-14 01:19:46 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-03-14 01:19:46 +0000 |
commit | 34578cf242395aa46906b905b29f7443432fae8e (patch) | |
tree | 94bbce75ad883e4e887e570e0ef4e3672270fb73 | |
parent | f186ac5cb8fed2606a0c8990a6568ee2f3046a4f (diff) | |
download | ocaml-34578cf242395aa46906b905b29f7443432fae8e.tar.gz |
shorten paths in .annot
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12234 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | typing/stypes.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/typing/stypes.ml b/typing/stypes.ml index 1d2c0efde3..c79a48c2ec 100644 --- a/typing/stypes.ml +++ b/typing/stypes.ml @@ -127,13 +127,13 @@ let print_ident_annot pp str k = let print_info pp prev_loc ti = match ti with | Ti_class _ | Ti_mod _ -> prev_loc - | Ti_pat {pat_loc = loc; pat_type = typ} - | Ti_expr {exp_loc = loc; exp_type = typ} -> + | Ti_pat {pat_loc = loc; pat_type = typ; pat_env = env} + | Ti_expr {exp_loc = loc; exp_type = typ; exp_env = env} -> if loc <> prev_loc then fprintf pp "%a@." print_location loc; fprintf pp "type(@. "; printtyp_reset_maybe loc; Printtyp.mark_loops typ; - Printtyp.type_sch pp typ; + Printtyp.wrap_printing_env env (fun () -> Printtyp.type_sch pp typ); fprintf pp "@.)@."; loc | An_call (loc, k) -> |