TcRnExports
tcRnExports :: Bool -> Maybe (Located [LIE GhcPs]) -> TcGblEnv -> RnM TcGblEnv #
exports_from_avail #
Arguments
Nothing means no explicit export list
Nothing
Imported modules; this is used to test if a module Foo export is valid (it's not valid if we didn't import Foo!)
module Foo
Foo