summaryrefslogtreecommitdiffstats
path: root/camlp4/boot/Camlp4.ml
AgeCommit message (Collapse)Author
2013-03-04Continue.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-01Cleanup + support attributes on type declarations (syntax: type t = ... with ↵Alain Frisch
(:a1 expr1) (:a2 expr2) ... (:an exprn)). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-10bootstrap camlp4Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12855 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-19bootstrap camlp4 to fix PR#5633 (slow parsing)Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12615 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-30merge with branch bin-annotFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-14#5358: package types allow constraints on typed in sub-modules. Camlp4 ↵Alain Frisch
compiles but does not support this new feature yet. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-29merge branches/gadtsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20Minor fix in display of float values in errors messages (camlp4)Xavier Clerc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11124 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20merge changes from 3.12.0 to 3.12.1Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-22camlp4 -> caml ast transformations doneJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10841 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-19Camlp4 finally works. This is probably not the most elegant implementationJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10836 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-19undid all changes to camlp4Jacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10831 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-19cancel commit in wrong branchJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10830 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-19removed all changes to camlp4Jacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10829 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-16complete_constrs in parmatch.ml now works with gadts. Reverted changes to ↵Jacques Le Normand
the syntax tree which are no longer needed. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10805 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-12bootstrapped camlp4 gadts extensionJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10798 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-08updated references to Tpat_record to accomodate the extra fieldJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10771 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-25merged with trunk. specifically, merged with implicit unpack patchJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10742 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21merge branches/implicit-unpack + update camlp4Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21internally, we can now refer to constructors with the help of their type, ↵Jacques Le Normand
thus avoiding shadowing git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-01camlp4 now updated, but completely untested. I reverted camlp4 back to ↵Jacques Le Normand
revision 10660 and then changed it from there git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10697 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-09-22fixed several bugs, bootstrap finally works!Jacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10686 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-08-02merge changes from branching of 3.12 to release/3.12.0Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19camlp4: bootstrapNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10439 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19camlp4: bootstrap first class modulesNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10428 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17camlp4: support polymorphic recursion and bootstrapNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10410 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17camlp4: bootstrapping part of last commitNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10401 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-12camlp4: add support for let-open-inNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10395 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-11Merge remote branch 'ocaml-git/buildsys' into trunkNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-11Merge remote branch 'ocaml-git/buildsys' into trunkNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10387 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
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
2009-03-05camlp4: bootstrapNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9180 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-01-25Understanding the notion of standard channel for Format and Scanf.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-10-27camlp4: kill last $Id$sNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9108 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-10-27camlp4: kill some (* $Id$ *)Nicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9106 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-10-05camlp4,bootstrap: againNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-10-05camlp4,bootstrapNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-07-21camlp4: extend the is_irrefutable functionNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8923 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-12-18camlp4,bootstrap,head: Regen camlp4/boot/*.Nicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8728 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-27[camlp4] Bootstrap.Nicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8642 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-21[camlp4] Merge 3.10 on trunk for camlp4Nicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8557 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
2007-02-26[camlp4] minor bootstrapNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7932 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-02-26[Camlp4] handle externals properly and fix the bootstrap systemNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7929 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-02-07Some renamings, moving, and changements in camlp4Nicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7828 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02