summaryrefslogtreecommitdiffstats
path: root/typing/subst.ml
AgeCommit message (Expand)Author
2006-01-04fusion 3.09.0 -> 3.09.1Damien Doligez
2005-03-23merge fixedtypes branchJacques Garrigue
2004-12-09fix variance bugJacques Garrigue
2004-06-12Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585)Xavier Leroy
2004-05-18ajout du champ cty_inher dans Types.class_declarationJacques Garrigue
2003-07-22fix PR#1591Jacques Garrigue
2003-07-02Revu representation des declarations de type privateXavier Leroy
2003-06-25fix PR#1727Jacques Garrigue
2003-05-13finish? fixing PR#1673Jacques Garrigue
2003-05-01Complete move from virtual to private for concrete types with privatePierre Weis
2003-02-28Nouveau format %$. Introduction des types virtuels: step 1 sans inclusion dan...Pierre Weis
2002-09-11fix bug in type copy of universal variants (PR#1382)Jacques Garrigue
2002-04-18vive les methodes polymorphes!Jacques Garrigue
2002-04-15normalize moreJacques Garrigue
2002-04-04normalize for multiple files and trim cmi sizeJacques Garrigue
2002-04-04forget row_boundJacques Garrigue
2002-04-04normalize signatures before savingJacques Garrigue
2001-11-23copie correcte des variants polymorphesJacques Garrigue
2001-11-22plus correctJacques Garrigue
2001-11-22simplify codeJacques Garrigue
2001-07-05Renommer tous les identificateurs de toutes les composantes d'une structure, ...Xavier Leroy
2001-04-19enforce uniqueness of typing in label modeJacques Garrigue
2001-03-03ajout d'un champ filtrage a ReitherJacques Garrigue
2001-02-21forgot one translationJacques Garrigue
2000-09-06ajout des variancesJacques Garrigue
2000-07-27La substitution revue'' ne traitait pas correctement les types recursifs et l...Xavier Leroy
2000-05-16Revu substitution des signatures et modtypes pour eviter les captures de vari...Xavier Leroy
2000-03-21Revu la gestion des records de flottantsXavier Leroy
1999-11-30Merge olabl branchJacques Garrigue
1999-11-17Changement de la licenceXavier Leroy
1998-06-24Nouvelle syntaxe des classesJérôme Vouillon
1997-05-19deTABisationDamien Doligez
1997-05-11Methodes privees.Jérôme Vouillon
1997-03-24Pas besoin de Env.level et Subst.limit_level finalement...Jérôme Vouillon
1997-03-18Modification de commentairesJérôme Vouillon
1997-03-14Limitation du niveau des variables non generiquesJérôme Vouillon
1997-03-13Subst.type_expr copie systematiquement le type.Jérôme Vouillon
1997-03-10Subst.type_expr laisse le type inchange' si la substitution estJérôme Vouillon
1997-03-09Nettoyage de subst.ml.Jérôme Vouillon
1997-01-21Modification de la maniere dont l'expansion des abbreviations estJérôme Vouillon
1996-09-23Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy
1996-05-16Printtyp: simplifications.Xavier Leroy
1996-04-30Renommage en Objective CamlXavier Leroy
1996-04-22Extension objets.Jérôme Vouillon
1995-09-26Possibilite de rendre manifestes des types variant ou recordXavier Leroy
1995-08-23Foncteurs applicatifs.Xavier Leroy
1995-08-09Ajout des notices de copyrightXavier Leroy
1995-05-30Remplacement de Cset par SetXavier Leroy
1995-05-04Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-13 09:54:00 +0000