delta/ocaml.git/parsing/printast.ml, branch module-alias

Support module aliases.

2013-09-29T07:22:34+00:00

Namely, you can write "module L = List" in signatures,
and avoid have the compiler use directly List when you write L.
See examples in testsuite/tests/typing-modules/aliases.ml


git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14196 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Allow an optional 'when' clause after a pattern payload.

2013-07-22T15:15:07+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13920 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

More explicit internal representation of attribute payload. Now also support patterns as payload [%id ? pat].

2013-07-22T14:58:15+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13919 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Synchronize with trunk.

2013-07-16T13:34:30+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Item attributes on each let-binding.

2013-06-03T15:14:19+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13736 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Revert addition of raw literals to the parsetree

2013-05-23T15:12:04+00:00

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 parsetree

2013-05-20T11:37:41+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

#5980: explicit way to silence the new warning (open! X).

2013-05-16T13:34:53+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13685 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

The arument of attributes and extension nodes is now a structure, which is syntactically more general than an expression (through the embedding E -> [Pexp_eval E]).

2013-04-19T07:40:57+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13579 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Allow abstract module declaration in structures to make the syntax and Parsetree more uniform.

2013-04-18T13:14:53+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02