[wg-camlp4] Planning for the different syntax extensions

Yaron Minsky yminsky at janestreet.com
Mon Jan 28 14:05:54 GMT 2013


I'm wondering if it would be worth putting up a page on a wiki
somewhere where we can organize our understanding of how different
syntax extensions could be handled in a -ppx world?  It might be nice
to have this include code-examples of ways in which syntax would have
to change to make these work.

Beyond that, what problems do we need to solve on this WG?  My mental
to-do list is something like:

- Reach a consensus that a -ppx based solution is a good way to
  replace camlp4 as a required part of the OCaml toolchain.

- Enumerate the major current syntax extensions, and for each one,
  determine how this could be handled in a -ppx world

- Figure out what additional syntax (annotations and the like) would
  need to be supported to make -ppx be able to handle the vast
  majority of uses.

- Settle on a proposed concrete syntax for the above.

Is that roughly what we should be aiming to do?

y


More information about the wg-camlp4 mailing list