Dear GHC devs,
I’m trying to invoke the GHC.Core.Lint linting functions from a Core GHC plugin.
These functions take a LintConfig that can m <>ostly be constructed from
DynFlags, <>
the exception being <>
<>
l_vars :: ![Var] — ^ Ids that should be treated as being in scope
My question is then “How can I get all variables in scope in the module
underlying this CoreM computation, to pass in the LintConfig?”.
My ultimate goal is to run LintM to determine the usage environment of a given
core expression.
In that sense, the “Id out of scope” errors aren’t that important to me, but
they do make the linting action fail.
Thanks in advance!
Rodrigo_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
