branch: externals/caml commit 16dba2bf8273bd9a00d0f650a4f5cfe2fdc39da9 Merge: f6a12d8 b1139bc Author: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> Commit: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
Merge short-paths into a fresh branch of trunk.
Also fix a bit unification and subtyping errors.
You now need the flag -short-path to activate short paths.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths-4.01@13285
f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
