[wg-camlp4] My uses of syntax extension

Jeremy Yallop yallop at gmail.com
Tue Jan 29 14:28:05 GMT 2013


On 29 January 2013 14:17, Leo White <lpw25 at cam.ac.uk> wrote:
> You are making an arbitrary distinction between functions and other values.

Actually, this has nothing at all to do with functions.

The "tl;dr" is: syntax extensions are about notation, while quotations
are about distinguishing using and mentioning.


More information about the wg-camlp4 mailing list