Attempt at shortening paths on printing


git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12064 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
first attempt: handles only unification errors

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
shorten paths in signatures and toplevel output

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12066 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
simpler approach for signatures

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12067 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
propagate path-expansion environment everywhere

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
disable shortening if Env.empty

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12075 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
disable shortening for errors in Typetexp

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12076 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
shorten paths in .annot

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12234 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
problem with applicative functors

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
remove opened modules in type paths

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
build a map from internal paths to printed paths

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
prefer newest name + only update env after printing

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12380 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
merge version/4.00 at revision 12866

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Use types to disambiguate record access


git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@12933 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
use types to disambiguate record access

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@12934 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
commit in right branch

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@12935 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix 'make world'.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@12941 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
access label information from type in Env

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@12942 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
also support Pexp_setfield

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@12943 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
take instance before expanding

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@12944 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02