ocaml/typing
Xavier Leroy 63c1789b5e Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-07-13 12:25:21 +00:00
..
btype.ml ajout de Btype.row_field pour parmatch 2004-01-06 13:41:40 +00:00
btype.mli ajout de Btype.row_field pour parmatch 2004-01-06 13:41:40 +00:00
ctype.ml Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0 2004-07-13 12:25:21 +00:00
ctype.mli fast and compact classes 2003-11-25 09:20:45 +00:00
datarepr.ml Revu representation des declarations de type private 2003-07-02 09:14:35 +00:00
datarepr.mli Revu representation des declarations de type private 2003-07-02 09:14:35 +00:00
env.ml Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585) 2004-06-12 08:55:49 +00:00
env.mli fast and compact classes 2003-11-25 09:20:45 +00:00
ident.ml PR#1914,PR#1956 depollution de l'espace de noms 2004-01-04 14:32:34 +00:00
ident.mli PR#1914,PR#1956 depollution de l'espace de noms 2004-01-04 14:32:34 +00:00
includeclass.ml Revu les impressions du compilateur 2000-03-06 22:12:09 +00:00
includeclass.mli Revu les impressions du compilateur 2000-03-06 22:12:09 +00:00
includecore.ml Revu representation des declarations de type private 2003-07-02 09:14:35 +00:00
includecore.mli Changement de la licence 1999-11-17 18:59:06 +00:00
includemod.ml Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585) 2004-06-12 08:55:49 +00:00
includemod.mli Revu les impressions du compilateur 2000-03-06 22:12:09 +00:00
mtype.ml Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585) 2004-06-12 08:55:49 +00:00
mtype.mli 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-09 13:32:28 +00:00
oprint.ml Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585) 2004-06-12 08:55:49 +00:00
oprint.mli ajoute interface pour oprint 2002-02-13 12:17:56 +00:00
outcometree.mli Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585) 2004-06-12 08:55:49 +00:00
parmatch.ml oups, commit too fast 2004-01-16 14:09:30 +00:00
parmatch.mli cleanup after export of Parmatch.pressure_variants 2003-08-18 08:26:18 +00:00
path.ml Detection des abreviations de types mal formees introduites par 'module rec' 2003-07-01 13:05:43 +00:00
path.mli Detection des abreviations de types mal formees introduites par 'module rec' 2003-07-01 13:05:43 +00:00
predef.ml PR#1914,PR#1956 depollution de l'espace de noms 2004-01-04 14:32:34 +00:00
predef.mli Renommage type format -> format4 et reintroduction type format a 3 arguments pour compatibilite arriere 2003-07-05 11:13:24 +00:00
primitive.ml Ajouté personalisation de l'affichage des items de signature dans le toplevel 2001-08-06 12:28:50 +00:00
primitive.mli Ajouté personalisation de l'affichage des items de signature dans le toplevel 2001-08-06 12:28:50 +00:00
printtyp.ml Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0 2004-07-13 12:25:21 +00:00
printtyp.mli Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585) 2004-06-12 08:55:49 +00:00
stypes.ml dump des types dans l'ordre postfixe 2003-07-25 18:00:40 +00:00
stypes.mli RAZ des variables de types pour .annot 2003-07-23 16:52:41 +00:00
subst.ml Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585) 2004-06-12 08:55:49 +00:00
subst.mli normalize for multiple files and trim cmi size 2002-04-04 22:19:02 +00:00
typeclass.ml protect against sharing of self type 2004-05-31 02:01:59 +00:00
typeclass.mli export 2003-12-01 00:32:11 +00:00
typecore.ml Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0 2004-07-13 12:25:21 +00:00
typecore.mli fast and compact classes 2003-11-25 09:20:45 +00:00
typedecl.ml fix PR#1918 2003-11-07 00:19:08 +00:00
typedecl.mli Detection des abreviations de types mal formees introduites par 'module rec' 2003-07-01 13:05:43 +00:00
typedtree.ml fast and compact classes 2003-11-25 09:20:45 +00:00
typedtree.mli fast and compact classes 2003-11-25 09:20:45 +00:00
typemod.ml Generalisation option -o 2004-06-13 12:48:01 +00:00
typemod.mli Generalisation option -o 2004-06-13 12:48:01 +00:00
types.ml Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585) 2004-06-12 08:55:49 +00:00
types.mli Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585) 2004-06-12 08:55:49 +00:00
typetexp.ml coherent handling of type declarations 2003-06-30 08:04:42 +00:00
typetexp.mli fix PR#1559 2003-05-19 09:21:17 +00:00