delta/ocaml.git/testsuite/tests/typing-objects, branch flambda

Accept change of internal ids.

2013-10-23T15:29:33+00:00

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

Fix PR#6123

2013-08-20T03:00:19+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14021 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Merge short-paths into a fresh branch of trunk.

2013-01-29T14:21:12+00:00

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

fix PR#5858

2012-12-18T09:58:32+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13137 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

fix PR#5343 (was still unsound)

2012-12-02T02:46:22+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13107 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

whitespace, non-ascii chars, some missing headers

2012-10-17T20:09:16+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13026 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

merge version/4.00 at revision 12866

2012-08-21T07:10:35+00:00

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

clean up TABs and whitespace

2012-07-30T18:04:46+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Fix PR#5291

2012-06-01T04:47:14+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12531 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

merge with branch bin-annot

2012-05-30T14:52:37+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02