summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* expand_abbrev n'est plus exporte par Ctype.Jérôme Vouillon1997-06-294-87/+66
* Ajout systeme pour arite explicite des constructeursDaniel de Rauglaudre1997-06-161-2/+4
* Bug...Jérôme Vouillon1997-06-051-4/+4
* deTABisationDamien Doligez1997-05-1913-160/+160
* Env: dans un .cmi, sauver non seulement le CRC du .cmi mais aussi ceuxXavier Leroy1997-05-153-82/+88
* rienDamien Doligez1997-05-131-2/+4
* typeclass: manque un () apres ;Xavier Leroy1997-05-135-18/+29
* Bug: [type t = int = A] etait accepte...Jérôme Vouillon1997-05-121-1/+1
* Occur-check plus strict ('a list as 'a ne passe plus).Jérôme Vouillon1997-05-121-7/+9
* Methodes privees.Jérôme Vouillon1997-05-1113-196/+367
* Methodes privees.Jérôme Vouillon1997-05-112-78/+181
* Un commentaire modifie'.Jérôme Vouillon1997-05-111-1/+1
* Recursions non "regulieres" (genre type 'a t = A of 'a * float t) deJérôme Vouillon1997-04-241-20/+60
* Revision de Ctype.equalJérôme Vouillon1997-04-121-56/+48
* Meilleur approximation des modules utilises.Jérôme Vouillon1997-04-014-59/+93
* Bug de Ctype.moregeneralJérôme Vouillon1997-04-012-3/+3
* Meilleur approximation des modules utilises.Jérôme Vouillon1997-04-011-140/+99
* Suppression d'un commentaire pas a` jourJérôme Vouillon1997-03-241-1/+0
* Pas besoin de Env.level et Subst.limit_level finalement...Jérôme Vouillon1997-03-242-6/+0
* Pas besoin de Env.level et Subst.limit_level finalement...Jérôme Vouillon1997-03-242-94/+17
* Ajout de btype.ml{,i} (operations de bases sur les types)Jérôme Vouillon1997-03-241-138/+75
* Ajout de btype.ml{,i} (operations de bases sur les types)Jérôme Vouillon1997-03-241-2/+2
* Ajout de btype.ml{,i} (operations de bases sur les types)Jérôme Vouillon1997-03-248-64/+168
* Petite modif pour éviter les warnings pour les fonctions vides (quiDaniel de Rauglaudre1997-03-211-1/+1
* Modification de Ctype.closed_schemaJérôme Vouillon1997-03-182-9/+6
* Modification de commentairesJérôme Vouillon1997-03-181-2/+2
* Ctype.substitute renomme en Ctype.applyJérôme Vouillon1997-03-181-6/+7
* Ctype.substitute renomme en Ctype.applyJérôme Vouillon1997-03-181-83/+90
* Correction d'un bug pour expansion des types generiques.Jérôme Vouillon1997-03-142-72/+62
* Limitation du niveau des variables non generiquesJérôme Vouillon1997-03-142-13/+48
* Support pour manipulation correcte des types apres l'inferenceJérôme Vouillon1997-03-132-53/+83
* Fonction Env.level : retourne le niveau maximal des constructeurs deJérôme Vouillon1997-03-132-3/+21
* Les abbreviations produites s'expansent en des types completementJérôme Vouillon1997-03-131-15/+20
* Subst.type_expr copie systematiquement le type.Jérôme Vouillon1997-03-131-1/+4
* Bug de moregeneral.Jérôme Vouillon1997-03-121-2/+3
* La substitution n'etait pas appliquee dans certains cas...Jérôme Vouillon1997-03-121-4/+12
* Afficher "external foo ... = ..." au lieu de "val foo ... = ...".Xavier Leroy1997-03-101-1/+2
* Includecore.class_type renomme' en Includecore.class_types.Jérôme Vouillon1997-03-101-48/+72
* Erreur Class_type renommee en Class_types.Jérôme Vouillon1997-03-101-1/+1
* Suppression de Ident.identity.Jérôme Vouillon1997-03-102-19/+1
* Includecore.class_type renomme' en Includecore.class_types.Jérôme Vouillon1997-03-102-2/+2
* Subst.type_expr laisse le type inchange' si la substitution estJérôme Vouillon1997-03-101-0/+1
* Modifications de commentaires.Jérôme Vouillon1997-03-101-12/+4
* Nettoyage de subst.ml.Jérôme Vouillon1997-03-091-125/+127
* Quelques commentaires supplementaires.Jérôme Vouillon1997-03-091-1/+3
* Nettoyage de nondep_type.Jérôme Vouillon1997-03-091-0/+4
* Nettoyage de nondep_type.Jérôme Vouillon1997-03-092-129/+191
* Bug d'affichage des variables non generiques.Jérôme Vouillon1997-03-091-1/+3
* Nettoyage de moregeneral et non_recursive_abbrev.Jérôme Vouillon1997-03-081-138/+138
* Composants mis dans le meme ordre que dans ctype.mlJérôme Vouillon1997-03-081-31/+43
View Lorry Controller Status