delta/ocaml.git/parsing/parser.mly, branch flambda

merge generative functors

2013-12-17T03:52:50+00:00

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

#5808: allow simple patterns, not only identifiers, in 'let p : t = ...'.

2013-12-16T17:34:23+00:00

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

#6246: allow wildcard pattern as for-loop index. ==> Camlp4 will need to be adapted.

2013-12-02T18:00:18+00:00

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

Allow floating attribute in the toplevel. Also allow the empty structure (;;) as a toplevel phrase.

2013-10-04T07:54:31+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14213 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

Special syntax when the payload of attribute/extension is a single type expression: [@id : T], [%id : T]. Represented internally as (() : T).

2013-07-22T14:04:28+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13918 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