summaryrefslogtreecommitdiff
path: root/tools
Commit message (Collapse)AuthorAgeFilesLines
* Revert addition of raw literals to the parsetreeJérémie Dimino2013-05-231-2/+2
| | | | | | | | | It turns out it is not possible to have the exact raw representation since a constant does not always correspond to exactly one token, so there is no point in making the AST more complex. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13702 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* add the raw representation of constants to the parsetreeJérémie Dimino2013-05-201-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Allow abstract module declaration in structures to make the syntax and ↵Alain Frisch2013-04-184-18/+8
| | | | | | Parsetree more uniform. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Split Pexp_constraint into Pexp_coerce/Pexp_constraint.Alain Frisch2013-04-174-10/+17
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13552 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Split Pexp_function into Pexp_function/Pexp_fun.Alain Frisch2013-04-174-14/+32
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13551 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Get rid of the 'explicit arity' flag on Pexp_construct/Ppat_construct. If ↵Alain Frisch2013-04-176-16/+14
| | | | | | really requires (for camlp5?), the feature should be reimplemented with attributes. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13549 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Getting rid of Pexp_assertfalse/Texp_assertfalse.Alain Frisch2013-04-176-6/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13548 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Keep interval pattern sugar in the Parsetree (Camlp4 parsers still expand them).Alain Frisch2013-04-161-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13546 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Get rid of the undocumented syntax #c[>`A] (#5936, #5983).Alain Frisch2013-04-163-5/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13542 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Better representation of with-constraints.Alain Frisch2013-04-162-8/+11
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Remove pcsig_loc field + doc.Alain Frisch2013-04-161-1/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13538 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Rename Pcty_fun to Pcty_arrow (and idem in Types, Typedtree, Outcometree) to ↵Alain Frisch2013-04-165-6/+6
| | | | | | be coherent with Ptyp_arrow. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Explicit representation of guards, get rid of Pexp_when.Alain Frisch2013-04-156-46/+72
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13528 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Attributes on Pstr_eval.Alain Frisch2013-04-114-4/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Keep item attributes on let-binding structure items.Alain Frisch2013-04-115-6/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13511 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Extension nodes as class field or class type field.Alain Frisch2013-04-102-0/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13502 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Extension nodes and attributes for class types.Alain Frisch2013-04-102-1/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Attributes and extension points in class_expr.Alain Frisch2013-04-103-0/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Start to bring constructor names closer to concrete syntax.Alain Frisch2013-04-104-57/+47
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Renaming pcstr_pat -> pcstr_self, cstr_pat -> cstr_self.Alain Frisch2013-04-105-7/+7
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13496 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Support for attributes on class type fields.Alain Frisch2013-04-101-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Item attributes on class fields.Alain Frisch2013-04-091-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13493 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Allow to not have empty Ptyp_poly node in the Parsetree (the type-checker ↵Alain Frisch2013-04-091-36/+38
| | | | | | insert them automatically). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13491 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Get rid of core_field_type, more direct representation of object types.Alain Frisch2013-04-094-24/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13489 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Get rid of the Default case in Asttype.rec_flag.Alain Frisch2013-04-041-1/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13481 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Better representation of variance in the Parsetree.Alain Frisch2013-04-022-7/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13474 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Filtering of location and empty attribute fields.Alain Frisch2013-03-291-20/+57
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13468 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* A tool to dump the Parsetree in OCaml syntax (relies on the toplevel ↵Alain Frisch2013-03-292-2/+105
| | | | | | pretty-printer). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13467 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Support for quoted strings.Alain Frisch2013-03-261-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13450 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Align module type binding with Parsetree.Alain Frisch2013-03-263-4/+17
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13448 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Align module binding with Parsetree.Alain Frisch2013-03-263-20/+18
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13447 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Align exception_declaration with Parsetree.Alain Frisch2013-03-253-22/+19
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13446 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Align type_declaration with parsetree.Alain Frisch2013-03-252-12/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13445 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Align typed value_declaration with parsetree.Alain Frisch2013-03-252-8/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13444 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Align module and module type declarations between Parsetree and Typedtree.Alain Frisch2013-03-253-25/+12
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13443 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Represent exception declarations as constructor declarations in the Parsetree.Alain Frisch2013-03-252-8/+13
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13442 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Represent label and constructor declarations as records in the typedtree. ↵Alain Frisch2013-03-252-27/+17
| | | | | | Also keep return type for GADT constructors. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13441 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Starting to keep attributes in the typedtree.Alain Frisch2013-03-252-26/+32
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13440 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Attributes on expresions (etc) are now stored in the expression record, to ↵Alain Frisch2013-03-084-44/+27
| | | | | | facilitate pattern matching on structured fragments of AST while ignoring attributes. Introducing a new Ast_helper module to help creating AST fragments. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Attributes on label in record type declarations.Alain Frisch2013-03-062-2/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13361 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Attribute has structure/signature item.Alain Frisch2013-03-061-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Record for module type declarations.Alain Frisch2013-03-062-7/+7
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Name is part of the value_description record.Alain Frisch2013-03-062-5/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13357 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Type name is part of the type declaration record.Alain Frisch2013-03-062-9/+10
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13356 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Switch Pstr_modtype argument to a record type.Alain Frisch2013-03-062-3/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Finish attributes on module/recursive modules in structures.Alain Frisch2013-03-063-9/+17
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13354 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Support item attributes on exn rebind.Alain Frisch2013-03-052-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13351 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Put name in the exception_declaration record.Alain Frisch2013-03-052-6/+7
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13350 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Item attributes on classes.Alain Frisch2013-03-051-0/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13348 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Extension as structure/signature items [%%lid expr].Alain Frisch2013-03-051-0/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status