[wg-camlp4] Structured comments, shallow embeddings and deep quasiquotations

Leo White lpw25 at cam.ac.uk
Tue Feb 5 16:01:18 GMT 2013


On Feb 5 2013, Hongbo Zhang wrote:

>We have the same ideas. ;-)
>proposals 1, 2, 3, 4 are implemented in Fan as well.

Well it is supposed to provide a subset of camlp4. However, my proposal 
uses the compiler's own parser.

>Proposal 3 is applied in camlp4 itself(see the quotation module)

It is similar but not the same. Camlp4 requires you to register a different 
function for each different quotation context.



More information about the wg-camlp4 mailing list