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

Alain Frisch alain.frisch at lexifi.com
Thu Feb 28 21:04:07 GMT 2013

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.)


More information about the wg-camlp4 mailing list