I just stumbled over Note [ExportFlag on binders] in Var.hs, which indicates this might be a bug, right?
On Sun, May 28, 2017 at 5:52 PM, Sebastian Graf <[email protected]> wrote: > Hi all, > > 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 https://downloads. > haskell.org/~ghc/8.0.1/docs/html/libraries/ghc-8.0.1/GHC. > html#v:isExternalName is what I'm after, but I want to be sure. Does that > function already work when the Ids are still local? > > Greetings, > Sebastian >
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
