<div dir="ltr"><div>Hi Simon,</div><div><br></div><div>It does seem strange (at first glance) that these implicit things happen in two different places. <br></div><div><br></div><div><div>However, I think you should do this refactoring in a
 separate MR to !10479, it seems unrelated to the purpose of that patch 
and affects other things like you have mentioned.</div><br></div><div>Why do you think the change in callstack is fine? It seems the difference is `callstack001` is whether there an entry for `>>=` or not, which seems like quite an important thing to place a cost centre on? Andreas has a</div><div>better intuition for this than me. I would quite like to know if there is an unoptimised call to >>= in my program. You have probably thought about this a little, so interested to hear your opinion. <br></div><div><br></div><div>Cheers,</div><div><br></div><div>Matt</div><br></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Fri, Apr 4, 2025 at 10:44 PM 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 Matthew, Andreas, Ben</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">In GHC today there is a strange inconsistency:</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><ul><li>Bindings for data constructor wrappers and class method selectors are added at the end of CoreTidy.</li><li>Bindings for data constructor workers are added at the start of CorePrep</li></ul><div>This is deeply strange.  In !<a href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/10479" target="_blank">10479 (unary class patch)</a> I had to make some changes in this area and after being baffled I moved all these implicit bindings to one place at the start of CorePrep.  That is simpler and neater.  There is no reason for them to be separate.</div><div><br></div><div>BUT I find that one thing happens between Tidy and Prep, namely late-cost-centre injection.  That means we will no longer get late-cost-centres for data constructor wrappers and class method selectors.  I think that this is what is causing diffs in the output for callstack001 and friends in !10479.</div><div><br></div><div>I think that this is perfectly fine, and I propose to accept the changes. <br></div><div><br></div><div>Another alternative would be to inject all of these bindings at the end of Tidy (instead of the start of Prep),  But it's much nicer at the start of Prep -- we don't want any of these bindings to appear  in interface files.</div><div><br></div><div>Can you confirm that the change is ok?  Thanks</div><div><br></div><div>Simon</div></div></div>
</blockquote></div>