delta/ocaml.git/typing/subst.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
fix PR#1591 2003-07-22T10:58:39+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2003-07-22T10:58:39+00:00 dada13235504b7987b7c8200442d8582fd17fd1d git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5721 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5721 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Revu representation des declarations de type private 2003-07-02T09:14:35+00:00 Xavier Leroy xavier.leroy@inria.fr 2003-07-02T09:14:35+00:00 3e4bf9252b89c156d6d89cbd61e932bdc1a91781 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix PR#1727 2003-06-25T07:52:27+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2003-06-25T07:52:27+00:00 789d53cecf7a509311d41b3029bb5504328881b2 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
finish? fixing PR#1673 2003-05-13T04:11:03+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2003-05-13T04:11:03+00:00 7f8529a455425d86bcc6a8f8d402bee40f3bf069 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5554 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5554 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Complete move from virtual to private for concrete types with private 2003-05-01T22:22:37+00:00 Pierre Weis Pierre.Weis@inria.fr 2003-05-01T22:22:37+00:00 e77055aad9ff89c61aae94d0e5d6f1c492b830fd constructors (or labels). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
constructors (or labels).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Nouveau format %$. Introduction des types virtuels: step 1 sans inclusion dans Camlp4 2003-02-28T06:59:19+00:00 Pierre Weis Pierre.Weis@inria.fr 2003-02-28T06:59:19+00:00 b5d0102c0510ceba7d593d02fffd20ff4fea7957 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix bug in type copy of universal variants (PR#1382) 2002-09-11T06:09:26+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2002-09-11T06:09:26+00:00 7cc6e362ae8e52ff7cd18b02f0c981151a4f8ed4 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5127 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5127 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
normalize more 2002-04-15T02:11:32+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2002-04-15T02:11:32+00:00 08968d669c80f970a6b906ed17e2a53025068822 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4646 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4646 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02