delta/ocaml.git/typing/typeclass.ml, branch objvariants github.com: ocaml/ocaml merge from 2004-12-10 2004-12-11T06:58:14+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2004-12-11T06:58:14+00:00 2f766eea9177a45ce3fe8dab3dbf23de253cbba8 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/objvariants@6735 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/objvariants@6735 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
wrong header 2004-01-27T07:29:00+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2004-01-27T07:29:00+00:00 25d02fa881739fecc74e2fb735ec714c166f54b0 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6081 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6081 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
seules les methodes publiques peuvent etre implicitement polymorphes 2004-01-27T07:06:54+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2004-01-27T07:06:54+00:00 c1d371aa3e98d890b550c5817b355455efd207fa git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6080 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6080 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fast and compact classes 2003-11-25T09:20:45+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2003-11-25T09:20:45+00:00 f2095623ff9f002e86619545b3d9415f95f838fc git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5977 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5977 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
allow workaround for method overridden warning 2003-09-10T01:03:50+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2003-09-10T01:03:50+00:00 0a9b16337d09cefcf6349a0194f919a3d9b4fb30 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5829 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5829 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
cleanup after export of Parmatch.pressure_variants 2003-08-18T08:26:18+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2003-08-18T08:26:18+00:00 dd73e90e9eec94d23b7718051f1d3eaabc19172f git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5781 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5781 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
better message for PR#1412 2003-07-22T09:00:01+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2003-07-22T09:00:01+00:00 0ace6f6a76fec65c81eab51b827dd9529846c074 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5720 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5720 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Revu approx_class_declarations (PR#1730) 2003-06-26T08:18:45+00:00 Xavier Leroy xavier.leroy@inria.fr 2003-06-26T08:18:45+00:00 ccd0578b78f4413cc17742d24dd0451c5e38f61c git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5627 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5627 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Merge branch with recursive modules 2003-06-19T15:53:53+00:00 Xavier Leroy xavier.leroy@inria.fr 2003-06-19T15:53:53+00:00 1fa763e0c58fa76de0bfaf879f7fdd63ca99f0ec git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
add weak contravariance for types (PR#1692) 2003-05-21T09:04:54+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2003-05-21T09:04:54+00:00 4202eb8c4db3cad60c3c725e29219e8bef9a84ba git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5569 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5569 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02