delta/ocaml.git, branch fixedtypes github.com: ocaml/ocaml rename fixed types as private 2005-03-22T07:10:20+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2005-03-22T07:10:20+00:00 73755fef10752eca2708ec6200c13142e59a5d55 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6820 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6820 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix subtyping 2005-03-14T07:08:20+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2005-03-14T07:08:20+00:00 061c6ad1b036cd80a8e2fc5e1ad84a3975db1341 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6817 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6817 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
print variance in private types 2005-03-14T07:07:36+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2005-03-14T07:07:36+00:00 25247fc4a185a026296b049183730342eb9af066 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6816 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6816 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
properly handle mutually recursive types 2005-02-23T00:13:35+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2005-02-23T00:13:35+00:00 b481ebe8a77ccecfd415fde956371abd91666978 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6801 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6801 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
allow refining recursive types through with 2005-02-22T13:40:01+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2005-02-22T13:40:01+00:00 6fc62efd93633b1f1fb1dbe8827aa03f31be1152 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6798 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6798 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
preciser check for fixed types 2005-02-22T10:16:45+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2005-02-22T10:16:45+00:00 a46437c43f1aa12720175c2f79641654ff68d259 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6797 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6797 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
recursives types + cleanup 2005-02-21T08:29:11+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2005-02-21T08:29:11+00:00 213b08b7a44503e3b88842f3fbbd32f750dbc060 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6795 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6795 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix with-type-as 2005-02-19T10:14:56+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2005-02-19T10:14:56+00:00 1ebc6241e507ea0ef703dce510ed87e091971546 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6794 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6794 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
with constraints 2005-02-19T07:29:42+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2005-02-19T07:29:42+00:00 99adc103d69fc333d6c2d6034fce698401b1cb66 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6793 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6793 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
proper scoping + with constraints 2005-02-19T06:18:19+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2005-02-19T06:18:19+00:00 0cad2395972056e14b4e65ee22838b0a70465d57 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6792 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6792 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02