<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">It's a warning directed solely at compiler authors (hence -DDEBUG).  If a lot of glomming is happening, it might be due to some scoping or dependency analysis bug -- e.g. perhaps OccAnal isn't putting bindings in proper dependency order, or perhaps some plugin is gratuitously scrambling the order of the top level definitions.   Or it might be legitimate, as in your case. <br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Perhaps adding a Note with the code that generates the warning (or wherever you looked -- where was that?) would be better.  I always like to look for ways to reply not just to Gergo but to all the future Gergos who stumble over this.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Gergo might you offer a patch?</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><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 7 Apr 2022 at 07:47, Gergő Érdi <<a href="mailto:gergo@erdi.hu">gergo@erdi.hu</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">Using -DDEBUG, I see a warning about glomming from OccurAnal. Having<br>
read the relevant Note, the situation is exactly what's described<br>
here: since I'm using cross-module specializations, the specializer<br>
will generate rewrite rules that replace external references with<br>
local forward references.<br>
<br>
But the one thing the Note doesn't explicitly state is why this is<br>
reported as a warning. It sounds like OccurAnal is well equipped to<br>
fix this problem. So is glomming a sign of a problem or is it not? If<br>
I see that warning, does that point to a problem in how I use the GHC<br>
API, a problem in the code that I'm trying to compile, or neither?<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>