Finding out if a binding is externally visible
sgraf1337 at gmail.com
Sun May 28 15:52:28 UTC 2017
I'm tinkering around with GHCs Call Arity Analysis and Demand Analysis as
part of my Master's thesis. The usage analysis part is what I'm interested
in in particular.
After quite some time spent debugging absent errors, I noticed that certain
top-level bindings aren't exported, but still visible in other modules
through generated RULE pragmas (e.g. through class instance
specialization). These bindings were considered absent in my combined
analysis, explaining the very sporadic absent errors I was getting.
Is there some function that tells me if an identifier is 'externally
visible' in that sense? I think
is what I'm after, but I want to be sure. Does that function already work
when the Ids are still local?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs