[wg-camlp4] A new branch to experiment with extension points
Alain Frisch
alain.frisch at lexifi.com
Fri Mar 8 08:19:32 GMT 2013
On 03/08/2013 12:01 AM, David Waern wrote:
> Would it be a crazy idea to replace expr by seq_expr in attributes and
> extensions? That would allow a more light-weight monadic notation:
>
> [%do a; b; c <-- d; f c; ...]
This is an excellent idea! It is now committed.
Thanks for suggestion,
Alain
> which could be useful where begin[%monad] ... end would be too verbose,
> typically when embedding small fragments of monadic code inside
> non-monadic code.
>
> I think it's nice to make overloading the semi-colon light-weight (this
> way, without needing parentheses) for other use-cases as well (e.g
> literals for custom list types).
>
> Or does this cause any problems that I've overlooked?
More information about the wg-camlp4
mailing list