diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2013-04-30 09:05:26 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2013-04-30 09:05:26 +0000 |
| commit | f35c7d123f54a4e1d58e00e22f59f493e9350536 (patch) | |
| tree | f8b55bb731c2a1e305b84dc26eca102cf79c1563 /typing/printtyp.mli | |
| parent | c425ae1ce8c128c76a2a8a848ff0d94409b06ea6 (diff) | |
Take ambiguity into account when using -short-paths option.
Namely, do not use an abbreviated form which doesn't correspond
directly to a physical definition when it might point to
several definitions, due to multiple opens.
Also be careful about not abbreviating types we are defining
in type definitions.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13635 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/printtyp.mli')
| -rw-r--r-- | typing/printtyp.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/typing/printtyp.mli b/typing/printtyp.mli index 0ded9b789..e319f18f1 100644 --- a/typing/printtyp.mli +++ b/typing/printtyp.mli @@ -79,3 +79,5 @@ val report_ambiguous_type_error: formatter -> Env.t -> (Path.t * Path.t) -> (Path.t * Path.t) list -> (formatter -> unit) -> (formatter -> unit) -> (formatter -> unit) -> unit +(* for toploop *) +val hide_rec_items: signature_item list -> unit |