ghc-8.2.1.20171108: The GHC API

Safe HaskellNone
LanguageHaskell2010

RnSource

Synopsis

Documentation

rnSrcDecls :: HsGroup RdrName -> RnM (TcGblEnv, HsGroup Name) Source #

rnSourceDecl "renames" declarations. It simultaneously performs dependency analysis and precedence parsing. It also does the following error checks:

  • Checks that tyvars are used properly. This includes checking for undefined tyvars, and tyvars in contexts that are ambiguous. (Some of this checking has now been moved to module TcMonoType, since we don't have functional dependency information at this point.)
  • Checks that all variable occurrences are defined.
  • Checks the (..) etc constraints in the export list.

Brings the binders of the group into scope in the appropriate places; does NOT assume that anything is in scope already