<div dir="ltr"><div>Hi Simon</div><div><br></div><div>The perennial problem.  <br><br></div><div>I was intending to tackle this before my talk at ZuriHac, but the last minute things for the 9.10.1 release chewed up all my time.</div><div>I think it has got to a point now where I hope it can be explained meaningfully, and intend to tackle it, once I finish updating the ghc-exactprint consumers for GHC 9.10.1.<br></div><div><br></div><div>Alan<br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 18 Jun 2024 at 16:43, Simon Peyton Jones <<a href="mailto:simon.peytonjones@gmail.com">simon.peytonjones@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Hi Alan</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">I know that you are continuing to work hard on annotations in the TTG extension fields -- thank you.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">As you know, I'm very eager to get a big Note to explain how it all works.  At the moment I am completely lost, and I am reduced to cargo-culting code by copy/pasting and hoping for the best.  Plus we are over-reliant on you, which isn't really fair on you.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Several of us (including me and Rodrigo, and doubtless other ghc-devs, cc'd) would be happy to review, edit, and improve -- but it is hard for us to see the "big picture".</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Could you see your way to drafting something? It need not be that long initially, but having *something* to ask questions about and improve would be super helpful.  <br><div class="gmail_default" style="font-family:tahoma,sans-serif"></div>

 </div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">I suggest drafting it in a Google doc so it was easy to edit, and for others to contribute to, but ultimately it should be in the repo. </div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Thanks!</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div></div>
</blockquote></div>