Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
ocaml/typing
History
Pierre Weis e0122726af Implementation of an extension of record typing: the first path 
annotated label in a record implies the implicit path annotations of
the other labels. This way, a single annotation allows the
simultaneous annotation of the whole set of labels. This is a
conservative extension, since all the labels of a record must already
belong to the same module. Hence, any program that was typable before,
had this property and is thus still typable in the new scheme.

This new treatment provides a simple way to desambiguate labels in
mass, just adding a module path annotation on one of the field labels;
this slight improvement of record typing thus avoids the burden of
repeating Module.label for each label of the record.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 		2004-06-14 21:29:05 +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 symmetry of unify_univar 2004-06-08 06:34:56 +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 Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585) 2004-06-12 08:55:49 +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 Implementation of an extension of record typing: the first path 2004-06-14 21:29:05 +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