Hi all

You may be aware that Shayan Najd presented the paper  "Trees that Grow"[1] at HIW last year.

Based on the following mandate

> As in my previous email to Shayan (attached).  Wiki page, describe goals, design,

> approach.  Point to prototype implementation.  Seek comments.   You can say that

>I am supportive!

>

> Simon

We have set up a Wiki page at [2] describing a prototype implementation of the first stage of this for the hsSyn AST, which is to change the polymorphic variable from one of RdrName / Name / Id to an index type. This is presented as a fabricator diff at [3].

Please take a look and provide feedback.

Regards
  Alan


[1] http://www.jucs.org/jucs_23_1/trees_that_grow/jucs_23_01_0042_0062_najd.pdf
[2] https://ghc.haskell.org/trac/ghc/wiki/ImplementingTreesThatGrow
[3] https://phabricator.haskell.org/D3609