delta/ocaml.git/typing/typemod.ml, 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
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
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
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
Generalisation option -o 2004-06-13T12:48:01+00:00 Xavier Leroy xavier.leroy@inria.fr 2004-06-13T12:48:01+00:00 b944b4dec058c5da34b0f83045b04ed199f11464 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6398 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6398 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585) 2004-06-12T08:55:49+00:00 Xavier Leroy xavier.leroy@inria.fr 2004-06-12T08:55:49+00:00 762a00665249df0901089011b3bb2a6a7e15cd2e git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Pour l'option -pack, ajout possibilite de donner des .cmi sur la ligne de commande pour denoter des sous-modules dont l'implementation est identique a l'interface 2004-04-09T13:32:28+00:00 Xavier Leroy xavier.leroy@inria.fr 2004-04-09T13:32:28+00:00 f8ae9668d9255f2e012150270b54248db2e662b0 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6196 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6196 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Ajout alpha-conversion manquante dans la construction 'SIG with ...' (PR#1968) 2004-02-14T17:38:02+00:00 Xavier Leroy xavier.leroy@inria.fr 2004-02-14T17:38:02+00:00 29791fc19fca7b78094c3c0b08348adf3c1dcead git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6116 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6116 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02