delta/ocaml.git/typing/typedecl.ml, branch 3.10 github.com: ocaml/ocaml fix unsoundness in variance checking for private types 2009-03-10T04:47:04+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2009-03-10T04:47:04+00:00 0cf7c0578f1abdc840018947f73fe535fc4c1f24 git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.10@9183 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.10@9183 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fig bug varoquaux 2007-03-12 2007-03-12T13:14:26+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2007-03-12T13:14:26+00:00 3b3fc523e74303f048fb198cffaadbe52ad88c9d git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.10@8041 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.10@8041 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
better error messages 2007-03-05T01:24:10+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2007-03-05T01:24:10+00:00 7295fa9f756dec339213a1d6b0a153b0c931c47f git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.10@7990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.10@7990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
name recursion for private types 2006-11-02T01:10:04+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2006-11-02T01:10:04+00:00 ec74077dfa80762210f1d02d3855c0ec431a4d27 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7712 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7712 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix merge problems with 3.08.4 (PR#3758) 2005-08-16T00:48:56+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2005-08-16T00:48:56+00:00 83c0f7bb4626241c2bf7a64ae7828481c7364152 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fusion des modifs de 3.08.4 2005-08-13T20:59:37+00:00 Damien Doligez damien.doligez-inria.fr 2005-08-13T20:59:37+00:00 a4a3c10e70d755e2382c2eebf5e891582ff79325 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7019 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7019 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix potential bug 2005-07-12T23:50:45+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2005-07-12T23:50:45+00:00 d21579ac028f72604939a0e969856f5d561577a5 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6969 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6969 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
check variance for row-variable too! 2005-07-11T08:07:59+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2005-07-11T08:07:59+00:00 b20551ecdab1a47c9831c4ad3f5a344ef4c2a0d3 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
merge fixedtypes branch 2005-03-23T03:08:37+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2005-03-23T03:08:37+00:00 ef396b4e5a34ceb49efbbe39058746a68f5ab503 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6821 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6821 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
make private types abstract for variance 2004-12-10T01:52:12+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2004-12-10T01:52:12+00:00 6d23fc5722b9a739144835a7b9f31eb880ae4ba2 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02