summaryrefslogtreecommitdiffstats
path: root/camlp4/boot
AgeCommit message (Collapse)Author
2013-03-05Item attributes on classes.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13348 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-04Attributes on module/module type/recursive module declarations in interfaces.Alain Frisch
Module: [^^id expr] [^^id expr] ... module X : S [@@id expr] [@@id expr] ... Module types: [^^id expr] [^^id expr] ... module type X = S [@@id expr] [@@id expr] ... Recursive modules: module rec [^^id expr] [^^id expr] X1 : S1 [@@id expr] [@@id expr] ... and [^^id expr] [^^id expr] X1 : S1 [@@id expr] [@@id expr] ... git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-04Attributes on open/include in signatures.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-04Attributes on exception declarations.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13342 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-04Adding attributes on constructor declarations (type t = A [@id expr] | B ↵Alain Frisch
[@id expr] of ...), and switch to a record type to represent those constructor declarations in the Parsetree. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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-07-26merge changes from 4.00 branching to 4.00.0 (part 1)Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12784 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-06-12PR#5646: reapply the fix for PR#5442Jérémie Dimino
It was reverted when the bin-annot branch was merged git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12595 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
2012-03-08merge version 3.12 from 3.12.1 to r12205Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-30PR#5442: use safe_string_escaped instead of String.escapedJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11984 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-23PR#5442: strings must be escaped when the ast meta-expansed by Camlp4Jérémie Dimino
Because strings in the Camlp4 Ast are escaped. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11948 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-20uniform .ignore systemDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11133 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: bootstrapNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10405 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-17Remove an old camlp4 makefileNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10399 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-11camlp4: bootstrapNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-11camlp4: bootstrapNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10390 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
2010-01-07PR#4940: get rid of naked end-of-lines in string constants + add warning 29Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9512 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
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-18 18:34:04 +0000