[wg-camlp4] Pending issues
hongboz at seas.upenn.edu
Mon Feb 11 14:51:22 GMT 2013
On Mon, Feb 11, 2013 at 9:45 AM, Alain Frisch <alain.frisch at lexifi.com>wrote:
> 5. Fork Parsetree or clean it up?
> Hongbo has proposed that we introduce a different representation of the
> Parsetree on which -ppx rewriters would be applied. Concretely, we could
> fork parsetree.mli into parsetree.mli/ast.mli, clean up parsetree (see
> below) and adapt parser.mly accordingly, and then implement a translation
> pass from Parsetree to Ast before running the type-checker on Ast. The
> alternative is to clean up Parsetree directly and adapt the type-checker to
> these changes. This avoids an extra intermediate language and the mapping,
> but this could add a little bit of extra complexity to the type-checker
> (and it might be more difficult to convince core developers). What do
> people think?
> Hi Alain, This is great , and you have more freedom to clean up the Ast,
for example, remove the unnecessary prefix names without breaking other
> wg-camlp4 mailing list
> wg-camlp4 at lists.ocaml.org
-- Regards, Hongbo
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the wg-camlp4