summaryrefslogtreecommitdiffstats
path: root/parsing/printast.ml
AgeCommit message (Expand)Author
2010-10-21removed Type_variant, fixed bug in GADT exhaustive checkJacques Le Normand
2010-10-19fixed bug in syntax extension. Made unification of variants and objects local...Jacques Le Normand
2010-09-22small cleanupJacques Le Normand
2010-09-21made type parameters ellidable in type declarationsJacques Le Normand
2010-09-19switched to abstract types, still needs work on exhaustion type. the code nee...Jacques Le Normand
2010-09-13first commitJacques Le Normand
2010-04-17merge branches/sigsubst 9626:10205Jacques Garrigue
2010-04-08merge branches/overrideJacques Garrigue
2010-04-02Adding "module type of <module-expr>" in the class of <module-type>.Xavier Leroy
2009-11-01Merge the letopenin branch in (svn merge -r9386:9397 /svn/ocaml/branches/leto...Alain Frisch
2009-10-26Merge first class modules: svn merge -r 9369:9396 $caml/branches/fstclassmod.Alain Frisch
2009-10-06Import changes from the newtypein branch (svn merge -r 9361:9367 https://fris...Alain Frisch
2009-09-12As discussed at the latest consortium meeting:Xavier Leroy
2008-07-09Add lazy patterns.Michel Mauny
2007-11-28Typo: PPat_type c'est Ppat_type.Pierre Weis
2007-10-09It works: compilers and camlp4 are fully bootstrapped. The ast magic number i...Pierre Weis
2007-10-08fusion de la version 3.10.0Damien Doligez
2006-04-05add virtual instance variablesJacques Garrigue
2006-01-04fusion 3.09.0 -> 3.09.1Damien Doligez
2005-03-23merge fixedtypes branchJacques Garrigue
2004-10-06add location info in Ptype_variant and Ptype_recordJacques Garrigue
2003-11-25fast and compact classesJacques Garrigue
2003-07-02Revu representation des declarations de type privateXavier Leroy
2003-06-19Merge branch with recursive modulesXavier Leroy
2003-05-01Complete move from virtual to private for concrete types with privatePierre Weis
2003-04-25Ajout des litteraux de type int32, nativeint, int64Xavier Leroy
2003-02-28Nouveau format %$. Introduction des types virtuels: step 1 sans inclusion dan...Pierre Weis
2002-11-26locations, suiteDamien Doligez
2002-11-14changement des locationsDamien Doligez
2002-11-01changement des locations, premiere trancheDamien Doligez
2002-06-27Using formats %S and %C.Pierre Weis
2002-04-18vive les methodes polymorphes!Jacques Garrigue
2002-01-20lazy a la TolmachDamien Doligez
2001-09-25enrich variant typesJacques Garrigue
2000-12-04fix -noassert pour que le typage des assertions soit toujours faitDamien Doligez
2000-12-01Ajout de la construction 'include' dans les structuresXavier Leroy
2000-09-07change variance syntaxJacques Garrigue
2000-09-06ajout des variancesJacques Garrigue
2000-04-21Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintfPierre Weis
2000-03-13MacOSDamien Doligez
2000-03-06Revu les impressions du compilateurPierre Weis
2000-02-22#name notation to automatically generate or-pattern from variant type nameJacques Garrigue
2000-02-14Manque escape sur une chaîne et un retour charriot dans un format.Pierre Weis
1999-12-30completion + adapatation labelsDamien Doligez
1999-12-06Nettoyage de l'optimisation des valeurs par defaut dans translcore.ml. Ajout ...Jacques Garrigue
1999-11-30Merge olabl branchJacques Garrigue
1999-11-29implementation de -dparsetreeDamien Doligez