[wg-camlp4] Structured comments, shallow embeddings and deep quasiquotations
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