[nongnu] externals/caml 16dba2b 150/197: Merge short-paths into a fresh branch of trunk.

[Stefan Monnier]

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