<div dir="ltr"><div><div><div><div>Hi all<br><br>You may be aware that Shayan Najd presented the paper  "Trees that Grow"[1] at HIW last year.<br><br></div><div>Based on the following mandate<br><br><p class="MsoNormal"><span style="font-size:11pt;font-family:"Calibri",sans-serif">> As
 in my previous email to Shayan (attached).  Wiki page, describe goals, 
design, <br></span></p><p class="MsoNormal"><span style="font-size:11pt;font-family:"Calibri",sans-serif">> approach.  Point to prototype implementation.  Seek comments.  
 You can say that</span></p><p class="MsoNormal"><span style="font-size:11pt;font-family:"Calibri",sans-serif">>I am supportive!</span></p>
<p class="MsoNormal"><span style="font-size:11pt;font-family:"Calibri",sans-serif">></span></p>
<span style="font-size:11pt;font-family:"Calibri",sans-serif">> Simon</span><br></div><div><br></div>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].<br><br></div>Please take a look and provide feedback.<br><br></div>Regards<br></div>  Alan<br><div><div><div><div><br><br>[1] <a href="http://www.jucs.org/jucs_23_1/trees_that_grow/jucs_23_01_0042_0062_najd.pdf">http://www.jucs.org/jucs_23_1/trees_that_grow/jucs_23_01_0042_0062_najd.pdf</a><br>[2] <a href="https://ghc.haskell.org/trac/ghc/wiki/ImplementingTreesThatGrow">https://ghc.haskell.org/trac/ghc/wiki/ImplementingTreesThatGrow</a><br>[3] <a href="https://phabricator.haskell.org/D3609">https://phabricator.haskell.org/D3609</a><br></div></div></div></div></div>