delta/ocaml.git/tools/tast_iter.ml, branch ephemeron

Merge module-alias branch (cf. PR#6063)

2014-01-10T07:53:33+00:00

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

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

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

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

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

Split Pexp_constraint into Pexp_coerce/Pexp_constraint.

2013-04-17T12:23:44+00:00

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

Get rid of the 'explicit arity' flag on Pexp_construct/Ppat_construct. If really requires (for camlp5?), the feature should be reimplemented with attributes.

2013-04-17T09:46:52+00:00

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.

2013-04-17T09:18:03+00:00

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

Get rid of the undocumented syntax #c[>`A] (#5936, #5983).

2013-04-16T12:17:17+00:00

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

Rename Pcty_fun to Pcty_arrow (and idem in Types, Typedtree, Outcometree) to be coherent with Ptyp_arrow.

2013-04-16T08:59:09+00:00

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