ghc-7.10.3: The GHC API

Safe HaskellNone
LanguageHaskell2010

RnTypes

Synopsis

Documentation

extractWildcards :: LHsType RdrName -> RnM ([Located RdrName], LHsType RdrName) Source

Replace all unnamed wildcards in the given type with named wildcards. These names are freshly generated, based on "_". Return a tuple of the named wildcards that weren't already in scope (amongst them the named wildcards the unnamed ones were converted into), and the type in which the unnamed wildcards are replaced by named wildcards.

filterInScope :: LocalRdrEnv -> FreeKiTyVars -> FreeKiTyVars Source