[wg-camlp4] My uses of syntax extension

Hongbo Zhang hongboz at seas.upenn.edu
Mon Jan 28 15:50:07 GMT 2013


On Mon, Jan 28, 2013 at 10:43 AM, Leo White <lpw25 at cam.ac.uk> wrote:

> I don't think that it is necessery for how I think we should implement
> anti-quotations.
>
> If you consider some quotation with an anti-quotation like:
>
> let body x = <:html < <body attr=$x$> Hello, World <\body> >>
>
The html example is trivial to implement in ppx, I agree.

Here is not the parser problem, it's the staging  problem when you
generalize it to the quotation "str_item" or "expr". Using the
built-in parser does not help here.



-- 
-- Regards, Hongbo


More information about the wg-camlp4 mailing list