<div dir="ltr"><div>I agree on not re-using accidentally available structures.  But it got me thinking that maybe the BufSpan could be something else.</div><div><br></div><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
I’m somewhat confused by the fact that we agreed to do it post-merge, but all further work has been in some other direction.<br>
<br></blockquote></div><div class="gmail_quote">My work since the merge has been on consolidating the actual use-case for the exact print annotations, which means making sure that the (still external) ghc-exactprint library is still able to support the existing use-cases.  My current driver for that is porting retrie[1] to use it, which has brought up the changes that I have been doing to GHC recently.</div><div class="gmail_quote"><br></div><div class="gmail_quote">Once that is done, I plan to update the in-tree exact printing to match, and then contemplate actioning plan B.</div><div class="gmail_quote"><br></div><div class="gmail_quote">Alan</div><div class="gmail_quote"><br></div><div class="gmail_quote">[1] <a href="https://github.com/alanz/retrie/tree/ghc-9.2">https://github.com/alanz/retrie/tree/ghc-9.2</a></div></div></div>