[wg-camlp4] A new branch to experiment with extension points

[Yaron Minsky]

Is there any hope of keeping the "with" syntax for type definitions
that type-conv uses?  There's quite a bit of code that depends on it,
and there seems at least some utility in keeping it.

On Thu, Feb 28, 2013 at 4:04 PM, Alain Frisch <alain.frisch at lexifi.com> wrote:
> Dear all,
>
> Since there seemed to be a consensus about extending the OCaml grammar with
> attributes and extension nodes in various syntactic categories, I've started
> an experimental branch on the OCaml SVN to try some syntax.
> The branch is called extension_points (
> http://caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/branches/extension_points/ ).
>
> Currently, the following are supported:
>
>  - Extension node as a structure item:
>
>       &(foo expr)
>
>  - Extension node as an expression:
>
>       (&foo expr)
>
>  - Extension node as a type expression:
>
>       (&foo expr)
>
>  - Attribute on a structure item, postfix notation:
>
>       .... :: foo expr
>
>  - Attribute on a type expression, postfix notation:
>
>       .... (/foo expr)
>
> In all cases, foo denotes a lowercase unprefixed identifier (LIDENT) and
> expr is an optional expression (it can be omitted).
>
> (The parser has more commented-out syntax for attributes on expressions with
> prefix and postfix notation, and attributes on type expression with prefix
> notation.)
>
>
> Alain
> _______________________________________________
> wg-camlp4 mailing list
> wg-camlp4 at lists.ocaml.org
> http://lists.ocaml.org/listinfo/wg-camlp4