summaryrefslogtreecommitdiffstats
path: root/testlabl
AgeCommit message (Expand)Author
2010-10-21merge branches/implicit-unpack + update camlp4Jacques Garrigue
2010-05-21PR#4975: spelling mistakes "overriden" and "informations"Damien Doligez
2010-04-17merge branches/sigsubst 9626:10205Jacques Garrigue
2010-04-07Tests moved to 'typing-recmod'Xavier Clerc
2010-04-07Tests moved from 'testlabl'Xavier Clerc
2010-01-20merge changes from release/3.11.1 to release/3.11.2Damien Doligez
2009-10-26merge polymorphic recursionJacques Garrigue
2009-05-20merge changes from ocaml3110 to ocaml3111rc0Damien Doligez
2008-12-03merge changes from 3.10.2merged to 3.11.0Damien Doligez
2008-01-11merge changes 3.10.0 -> 3.10.1Damien Doligez
2007-10-18merge changes from 3.10Jacques Garrigue
2006-12-22merge head on 2006-12-22Jacques Garrigue
2006-11-21betterJacques Garrigue
2006-11-21extraJacques Garrigue
2006-11-01loosing abbreviationJacques Garrigue
2006-10-10applications in pathsJacques Garrigue
2006-09-29be careful with path expansionJacques Garrigue
2006-09-28functorsJacques Garrigue
2006-09-26inclusion & normal private rowsJacques Garrigue
2006-09-21compatibilitiesJacques Garrigue
2006-09-13deep privacyJacques Garrigue
2006-09-12dispatchJacques Garrigue
2006-09-11pattern-matching worksJacques Garrigue
2006-05-17more efficient coercionsJacques Garrigue
2006-05-09bugsJacques Garrigue
2006-04-05add virtual instance variablesJacques Garrigue
2006-03-10oublie toolsJacques Garrigue
2006-03-10rebinding a virtual classJacques Garrigue
2006-03-10check hidden virtuals...Jacques Garrigue
2006-03-09patch for merged and virtual instance variablesJacques Garrigue
2006-02-02addJacques Garrigue
2006-02-02multimatch patch 2006-02-02Jacques Garrigue
2006-01-16patch for 3.09.1Jacques Garrigue
2005-12-12ajout de la quantification des variables de rangeeJacques Garrigue
2005-11-01add poly rec examplesJacques Garrigue
2005-10-31principalJacques Garrigue
2005-08-19subtyping polymorphic variantsJacques Garrigue
2005-08-16subtyping private typesJacques Garrigue
2005-08-16exemple supplementaireJacques Garrigue
2005-07-29add PRsJacques Garrigue
2005-03-22rename fixed types as privateJacques Garrigue
2005-03-14more examplesJacques Garrigue
2005-03-10fix poly method subtypingJacques Garrigue
2005-02-22abstract rowsJacques Garrigue
2004-11-29new warning for black holesJacques Garrigue
2004-10-15different Tpoly's may share the same vlJacques Garrigue
2004-10-14allow for phantom univarsJacques Garrigue
2004-10-14accept more casesJacques Garrigue
2004-10-13do Fmu checks for moregeneral/eqtype/subtypeJacques Garrigue
2004-10-13add Fmu checkJacques Garrigue