summaryrefslogtreecommitdiffstats
path: root/camlp4
AgeCommit message (Collapse)Author
2013-03-06Switch Pstr_modtype argument to a record type.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-06Finish attributes on module/recursive modules in structures.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13354 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-05Support item attributes on exn rebind.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13351 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-05Put name in the exception_declaration record.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13350 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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
2013-03-01More uniform syntax:Alain Frisch
Attributes: expr (:foo expr) type (:foo expr) str_item ..(:foo expr) Extension nodes: expr (&foo expr) type (&foo expr) str_item ..(&foo expr) git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-24raise an error when multiple private keywords are used in type declarationsHongbo Zhang
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13157 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-25PR#5119: camlp4 now raises a specific exception when 'DELETE_RULE' fails, ↵Xavier Clerc
rather than raising 'Not_found' git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13047 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15remove all $Id keywordsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-09PR#5778: convert constructors on the right hand side of exception ... = ...Jérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12994 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-30clean up TABs and whitespaceDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 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-07-20PR#5692: fix computation of locations in the camlp4 parserJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12751 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-09PR#5637: invalid printing of anonymous type parameters (camlp4 revised syntax)Xavier Clerc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12668 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-09PR#5651: printer for abstract data type (camlp4 revised syntax)Xavier Clerc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12666 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-04PR#5668: print using the syntax "let f x y z = ..." only when the pattern is ↵Jérémie Dimino
an identifier This form is incorrect when the pattern is not an identifier. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12656 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-05-23PR#5620: invalid printing of type manifest (camlp4 revised syntax)Xavier Clerc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12473 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-16Ensure that character literals are always escaped by the camlp4 printer.Jérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12463 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-23Fixes a camlp4 50x slowdown by changing the order of grammar rules.Xavier Clerc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-11Set the revised syntax of GADTsJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-10PR#5579: always create a new token stream before parsing a phrase so new ↵Jérémie Dimino
filters are applied git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12336 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
2012-02-17PR#5495: add "or" to the list of infix keywords in the camlp4 parserJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12162 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-15PR#5481: update camlp4 ast magic numbers and add a comment before the ast ↵Jérémie Dimino
definition git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12155 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-13Change "Ocaml" to "OCaml" everywhereDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12152 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-13PR#5159: better documentation of locationsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12150 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18Merge the unused_declarations branch.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12035 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18Synchronize with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@12034 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-10PR#5387: typo in commit 11986Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-05PR#5456: replace __LOCATION__ after macro expansion and add LOCATION_OFJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11992 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-05PR#5231: fix parsing of <:str_item< type t = $x$ >>Jérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-05PR#5387: avoid extra Ast.CrNil and Ast.CgNilJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11987 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-05PR#5387: avoid extra Ast.StNil and Ast.SgNilJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11986 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-29Remove some useless declarations of recursive functions (now captured with ↵Alain Frisch
warning 26). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11975 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-22PR#5120: fix the output function of Camlp4.Debug.formatterJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11945 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21PR#5410: fix printing of class application with Camlp4Jérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11917 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21Create a branch to experiment with better warnings on unused declarations.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20PR#5374: be consistent for locations of type declarations between Camlp4 and ↵Jérémie Dimino
the OCaml parser Camlp4 used only the location of the rhs of type declarations, while OCaml used the location of the whole type declaration. The location of abstract types was then wrong when using Camlp4. Thanks to furuse for his contribution. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11903 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-16 13:44:01 +0000