ocaml/typing
Jacques Garrigue 033ce4b17a Do not reset type variable names in Unbound_type_var (PR#4191).
Avoid breaking PR#1412.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7780 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-12-27 14:41:23 +00:00
..
btype.ml add virtual instance variables 2006-04-05 02:28:13 +00:00
btype.mli fusion 3.09.0 -> 3.09.1 2006-01-04 16:55:50 +00:00
ctype.ml expand only once in update_level 2006-11-02 02:19:49 +00:00
ctype.mli add virtual instance variables 2006-04-05 02:28:13 +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 PR#4132: faster type-checking of module-intensive programs 2006-10-13 12:56:28 +00:00
env.mli -rectypes obligatoire pour les dependences 2006-06-26 09:38:06 +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 add virtual instance variables 2006-04-05 02:28:13 +00:00
includeclass.mli Revu les impressions du compilateur 2000-03-06 22:12:09 +00:00
includecore.ml bug in private rows 2005-08-08 05:40:52 +00:00
includecore.mli Changement de la licence 1999-11-17 18:59:06 +00:00
includemod.ml fusion des changements 3.09.2 -> 3.09.3 2006-09-20 11:14:37 +00:00
includemod.mli fusion des changements 3.09.2 -> 3.09.3 2006-09-20 11:14:37 +00:00
mtype.ml must strengthen private row types 2005-09-28 07:18:30 +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 contravariance bug in with constraints for private rows 2006-04-21 06:18:51 +00:00
oprint.mli ajoute interface pour oprint 2002-02-13 12:17:56 +00:00
outcometree.mli add virtual instance variables 2006-04-05 02:28:13 +00:00
parmatch.ml Corrrect fragile matching 2006-09-21 14:54:54 +00:00
parmatch.mli Match compiler : prune context for all mutable fields 2005-03-11 10:12:05 +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 Type format4 is no more a predefined type. 2006-10-24 20:54:58 +00:00
predef.mli Type format4 is no more a predefined type. 2006-10-24 20:54:58 +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 changements 3.09.1 -> 3.09.2 2006-04-16 23:28:22 +00:00
printtyp.mli fusion des changements 3.09.1 -> 3.09.2 2006-04-16 23:28:22 +00:00
stypes.ml fusion des changements 3.09.1 -> 3.09.2 2006-04-16 23:28:22 +00:00
stypes.mli RAZ des variables de types pour .annot 2003-07-23 16:52:41 +00:00
subst.ml add virtual instance variables 2006-04-05 02:28:13 +00:00
subst.mli normalize for multiple files and trim cmi size 2002-04-04 22:19:02 +00:00
typeclass.ml Do not reset type variable names in Unbound_type_var (PR#4191). 2006-12-27 14:41:23 +00:00
typeclass.mli add virtual instance variables 2006-04-05 02:28:13 +00:00
typecore.ml Encapsulation of system specific exports in module Printf. 2006-11-17 08:34:05 +00:00
typecore.mli add virtual instance variables 2006-04-05 02:28:13 +00:00
typedecl.ml name recursion for private types 2006-11-02 01:10:04 +00:00
typedecl.mli name recursion for private types 2006-11-02 01:10:04 +00:00
typedtree.ml add virtual instance variables 2006-04-05 02:28:13 +00:00
typedtree.mli add virtual instance variables 2006-04-05 02:28:13 +00:00
typemod.ml name recursion for private types 2006-11-02 01:10:04 +00:00
typemod.mli Retour en arriere sur la simplification des signatures inferees (fix du PR#3545 du 2005-08-02), qui est completement bugge 2005-08-08 09:41:52 +00:00
types.ml add virtual instance variables 2006-04-05 02:28:13 +00:00
types.mli add virtual instance variables 2006-04-05 02:28:13 +00:00
typetexp.ml keep sharing when not using -principal 2006-12-21 12:07:53 +00:00
typetexp.mli fix PR#1559 2003-05-19 09:21:17 +00:00
unused_var.ml add virtual instance variables 2006-04-05 02:28:13 +00:00
unused_var.mli fusion 3.09.0 -> 3.09.1 2006-01-04 16:55:50 +00:00