summaryrefslogtreecommitdiffstats
path: root/parsing/printast.ml
AgeCommit message (Collapse)Author
2010-10-21removed Type_variant, fixed bug in GADT exhaustive checkJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-19fixed bug in syntax extension. Made unification of variants and objects ↵Jacques Le Normand
local. Removed personal comments git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10724 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-09-22small cleanupJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10688 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-09-21made type parameters ellidable in type declarationsJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10684 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-09-19switched to abstract types, still needs work on exhaustion type. the code ↵Jacques Le Normand
needs to be cleaned up. printfs need to be removed git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10682 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-09-13first commitJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10679 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-17merge branches/sigsubst 9626:10205Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10263 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-08merge branches/overrideJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-02Adding "module type of <module-expr>" in the class of <module-type>.Xavier Leroy
Merge of branches/moduletypeof -r 9636:10226 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10227 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-11-01Merge the letopenin branch in (svn merge -r9386:9397 ↵Alain Frisch
/svn/ocaml/branches/letopenin) and update Changes. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-10-26Merge first class modules: svn merge -r 9369:9396 $caml/branches/fstclassmod.Alain Frisch
Adapt the Changes file. Bump magic numbers. Bootstrap. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-10-06Import changes from the newtypein branch (svn merge -r 9361:9367 ↵Alain Frisch
https://frisch@yquem.inria.fr/caml/svn/ocaml/branches/newtypein). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9368 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-12As discussed at the latest consortium meeting:Xavier Leroy
Syntactic sugar {x} for {x=x} in record expressions and patterns. Syntax { lbl=pat; _ } to mark record patterns where the user explicitly wants not to list all labels. Warning (activated by E, the fragile match warning) to signal record patterns without '; _' that fail to list all labels. To be done: adjust Camlp4 parser accordingly. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-07-09Add lazy patterns.Michel Mauny
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8906 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-28Typo: PPat_type c'est Ppat_type.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8682 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-10-09It works: compilers and camlp4 are fully bootstrapped. The ast magic number ↵Pierre Weis
is not yet changed. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-10-08fusion de la version 3.10.0Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8416 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-04-05add virtual instance variablesJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7372 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-01-04fusion 3.09.0 -> 3.09.1Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-23merge fixedtypes branchJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6821 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-10-06add location info in Ptype_variant and Ptype_recordJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6633 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-25fast and compact classesJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5976 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-02Revu representation des declarations de type privateXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-19Merge branch with recursive modulesXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-01Complete move from virtual to private for concrete types with privatePierre Weis
constructors (or labels). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-25Ajout des litteraux de type int32, nativeint, int64Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-02-28Nouveau format %$. Introduction des types virtuels: step 1 sans inclusion ↵Pierre Weis
dans Camlp4 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-26locations, suiteDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5302 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-14changement des locationsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5262 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-01changement des locations, premiere trancheDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5224 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-27Using formats %S and %C.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4959 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-18vive les methodes polymorphes!Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-20lazy a la TolmachDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-25enrich variant typesJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-04fix -noassert pour que le typage des assertions soit toujours faitDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-01Ajout de la construction 'include' dans les structuresXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3350 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-07change variance syntaxJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-06ajout des variancesJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3294 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-04-21Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintfPierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-13MacOSDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2956 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-06Revu les impressions du compilateurPierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-22#name notation to automatically generate or-pattern from variant type nameJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2844 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-14Manque escape sur une chaîne et un retour charriot dans un format.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2816 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-12-30completion + adapatation labelsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2718 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-12-06Nettoyage de l'optimisation des valeurs par defaut dans translcore.ml. Ajout ↵Jacques Garrigue
de Default a Asttypes.rec_flag. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2670 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-30Merge olabl branchJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-29implementation de -dparsetreeDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2634 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-18 14:45:13 +0000