delta/ocaml.git/typing/typeclass.ml, branch multimatch github.com: ocaml/ocaml merge from HEAD 2003-05-14T09:48:20+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2003-05-14T09:48:20+00:00 4d7abfbc16022eab8af392bd3e6d76cf4773f2c2 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5563 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5563 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
add multifun keyword + correctly print types 2002-11-08T12:55:16+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2002-11-08T12:55:16+00:00 0154956320608aa0c13a9f1fb5539bf7fe9cd9ab git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5256 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5256 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
add dependent matching 2002-10-08T10:25:44+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2002-10-08T10:25:44+00:00 7c60715a207a8c5b4164327a33888535fb00891c git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5165 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5165 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
collapse conjunctive types in class definition parameters 2002-10-08T06:55:58+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2002-10-08T06:55:58+00:00 872b17e4bda63b4655ddfcfcc2feceb18f02bdb5 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5163 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5163 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
recupere les variables de type apres let module 2002-08-05T05:58:08+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2002-08-05T05:58:08+00:00 3a2cbe9ef1982e0acccfb3f77ecdcec349119a79 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5072 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5072 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
detabisation 2002-07-23T14:12:03+00:00 Damien Doligez damien.doligez-inria.fr 2002-07-23T14:12:03+00:00 37bf95c248f7f8e9f0f2557224837e530c428e93 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5029 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5029 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
vive les methodes polymorphes! 2002-04-18T07:27:47+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2002-04-18T07:27:47+00:00 0a8236066f945c6026337dd4ea9342a9034f7987 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#743 2001-12-26T03:43:41+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2001-12-26T03:43:41+00:00 584b29650ab96b306742e1f5444c96e3df2a8cb5 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4185 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4185 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
keep the vars ref in sync with met_env 2001-12-04T09:19:38+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2001-12-04T09:19:38+00:00 393ec18f1b74dcd1d1c291d17b4a5c91d15968be git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4090 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4090 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
allow coercions from self to own class (when safe!) 2001-11-05T09:12:59+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2001-11-05T09:12:59+00:00 e6771d65524fc4d7a85c07490cad1aacbc222f5a git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02