delta/ocaml.git/testsuite/tests/typing-poly/poly.ml.principal.reference, branch unused_declarations github.com: ocaml/ocaml fix PR#5450 2011-12-27T08:52:45+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-12-27T08:52:45+00:00 76ac0c7cb15c6f2d12cfe0610cf9908b4d798c23 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11958 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11958 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
merge branches/gadts-devel 2011-11-24T09:02:48+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-11-24T09:02:48+00:00 6c78f42d365d3e8d385b2d24ad1749a65ac45b8e git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Keep type variable names 2011-09-22T09:05:42+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-09-22T09:05:42+00:00 156fff1b8a1a3d4bbc0daae237dc55400a174a5a git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
merge branches/gadts 2011-07-29T10:32:43+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-07-29T10:32:43+00:00 9dc661c3bfa20708442de95b08227529ddf8c941 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix bug reported by Polux Moon on 2011-07-26 2011-07-27T08:48:22+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-07-27T08:48:22+00:00 b7b719f6f0b3d530cf90384f75c7ae214efe02b9 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11151 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11151 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
update test results 2011-07-27T08:38:51+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-07-27T08:38:51+00:00 a6c350e9b50782a3efd5717a5c815d64e4fc48f8 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11150 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11150 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
recover some principality 2011-02-24T06:29:26+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2011-02-24T06:29:26+00:00 974779cd1d4dcb1b2b8fadc66fa792a9a9ad1391 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix principality 2010-11-11T05:42:14+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2010-11-11T05:42:14+00:00 e9127a1d27a8aeff61a4c0e3f198319fb71b2935 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10789 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10789 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
merge changes from branching of 3.12 to release/3.12.0 2010-08-02T14:37:22+00:00 Damien Doligez damien.doligez-inria.fr 2010-08-02T14:37:22+00:00 575555eecd11fcc745e0f1e88d090764b3291b63 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Test reference updated. 2010-06-18T12:23:16+00:00 Xavier Clerc xavier.clerc@inria.fr 2010-06-18T12:23:16+00:00 3eef7c687c289aa05f0733a0a327b050a1e5df09 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10597 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10597 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02