[wg-camlp4] On domain-specific foreign syntaxes

[Leo White]

>Alternatively, if we choose to make "type extension = longident * 
>expression option" as you suggest, we can also support a different syntax:
>
>  (# e)  ====>  (* empty identifier in the Parsetree *)
>
>but this sounds a little bit less natural to me.  I like the 
>minimalistic approach of having "extension = expression" in all 
>syntactic categories (including expression themselves).  But I will 
>certainly not fight the other solution.

If you don't particularly mind, I would prefer this way as I think that it 
will encourage people to name their extensions.