summaryrefslogtreecommitdiffstats
path: root/experimental
AgeCommit message (Collapse)Author
2014-08-22merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ↵Damien Doligez
15121) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-16Doc.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14611 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-15Support for the let%foo syntax as structure item.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14600 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-14Custom syntax for floating attributes: [@@@id].Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14588 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-12-11Fix.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14345 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-11-18new version of the patch, using module_type option, and allowing unpacking ↵Jacques Garrigue
when no type created git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14302 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-11-13update for trunkJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-26Get rid of recursion closing functions, being more explicit on the recursion ↵Alain Frisch
does not hurt. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14186 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-26Adapt one more example.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14185 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-26Adapt one more example.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14184 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-26Adapt one more example.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14183 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-26Functions to close the open recursion in Ast_mapper.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14182 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-26Adapt js example.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14181 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-26Cleanup ppx API.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14180 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-25Switch to a record-based API for Ast_mapper, so that it can be used within ↵Alain Frisch
the compiler itself (where objects are banned). The class-based version will be shipped as part of the ppx_tools package. Only the ifdef example has been adapted in experimental/frisch. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14178 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-17A tiny tool which use the new -keep-locs to find unused exported values in a ↵Alain Frisch
project. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14159 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-17Do not track unused type declarations created by 'include'.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14158 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-09Move some tools to a dedicated external project ↵Alain Frisch
(https://github.com/alainfrisch/ppx_tools). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14082 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-09Support for patterns in concrete syntax.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14080 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-09Use Ast_helper.default_loc instead of Location.none by default.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14079 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-09Doc, cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14078 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-09Remove labltk from the distribution (will be available as a third-party ↵Xavier Clerc
library). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14077 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-06Cosmetic.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14073 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-08-30Porting pa_matches.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14050 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-08-28Synchronize with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@14042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-08-28Test not generalizing local letsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14038 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-08-01make everything compileJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13956 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-31put back trimmingJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13955 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-31update #show patch to access environment in toplevelJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13954 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-29update patch for 4.01Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13948 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-22Allow an optional 'when' clause after a pattern payload.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13920 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-22More explicit internal representation of attribute payload. Now also ↵Alain Frisch
support patterns as payload [%id ? pat]. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13919 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-22Special syntax when the payload of attribute/extension is a single type ↵Alain Frisch
expression: [@id : T], [%id : T]. Represented internally as (() : T). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13918 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03A toy tool to produce an mli file from an annotated ml file.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03Item attributes on each let-binding.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13736 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-23Revert addition of raw literals to the parsetreeJérémie Dimino
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
2013-05-20add the raw representation of constants to the parsetreeJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-19The arument of attributes and extension nodes is now a structure, which is ↵Alain Frisch
syntactically more general than an expression (through the embedding E -> [Pexp_eval E]). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13579 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18Doc.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13573 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18Restore.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13572 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18Doc.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13571 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13570 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18Enrich ifdef example.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13569 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18Adapt ifdef example.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13567 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18Adapt js_of_ocaml ppx example.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13566 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13564 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18Another simple ppx extension which allows to include type/module type ↵Alain Frisch
definitions from external .ml/mli files (by default, from the .mli file corresponding to the current .ml file). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13562 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18Allow abstract module declaration in structures to make the syntax and ↵Alain Frisch
Parsetree more uniform. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-17Split Pexp_constraint into Pexp_coerce/Pexp_constraint.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13552 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-17Split Pexp_function into Pexp_function/Pexp_fun.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13551 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-04-05 22:14:42 +0000