compiler/rename

Contents:

• compiler/rename/RnBinds.hs
  • Note [Pattern bindings that bind no variables]
  • Note [Free-variable space leak]
  • Note [Renaming pattern synonym variables]
  • Note [Pattern synonym builders don’t yield dependencies]
  • Note [Orphan COMPLETE pragmas]
• compiler/rename/RnEnv.hs
  • Note [Signature lazy interface loading]
  • Note [Type and class operator definitions]
  • Note [DisambiguateRecordFields]
  • Note [Fall back on lookupGlobalOccRn in lookupRecFieldOcc]
  • Note [Family instance binders]
  • Note [Looking up Exact RdrNames]
  • Note [Splicing Exact names]
  • Note [Template Haskell ambiguity]
  • Note [Usage for sub-bndrs]
  • Note [Promoted variables in types]
  • Note [Demotion]
  • Note [Handling of deprecations]
  • Note [Used names with interface not loaded]
  • Note [Safe Haskell and GHCi]
  • Note [Looking up signature names]
  • Note [Signatures for top level things]
  • Note [dataTcOccs and Exact Names]
• compiler/rename/RnExpr.hs
  • Note [Deterministic ApplicativeDo and RecursiveDo desugaring]
  • Note [Failing pattern matches in Stmts]
  • Note [Renaming parallel Stmts]
  • Note [Segmenting mdo]
  • Note [Glomming segments]
  • Note [Monad fail : Rebindable syntax, overloaded strings]
• compiler/rename/RnFixity.hs
  • Note [Fixity signature lookup]
• compiler/rename/RnNames.hs
  • Note [Tracking Trust Transitively]
  • Note [Trust Own Package]
  • Note [Trust Transitive Property]
  • Note [Combining ImportAvails]
  • Note [Top-level Names in Template Haskell decl quotes]
  • Note [Looking up family names in family instances]
  • Note [Dealing with imports]
  • Note [Children for duplicate record fields]
  • Note [The ImportMap]
  • Note [Do not warn about Prelude hiding]
  • Note [Printing minimal imports]
  • Note [Partial export]
  • Note [Overloaded field import]
• compiler/rename/RnPat.hs
  • Note [CpsRn monad]
  • Note [Patterns are uses]
  • Note [View pattern usage]
  • Note [Don’t report shadowing for pattern synonyms]
  • Note [Negative zero]
• compiler/rename/RnSource.hs
  • Note [Wildcards in family instances]
  • Note [Unused type variables in family instances]
  • Note [Renaming associated types]
  • Note [Rule LHS validity checking]
  • Note [Role annotations in the renamer]
  • Note [Floating via type variables]
  • Note [Renaming injectivity annotation]
  • Note [Stupid theta]
• compiler/rename/RnSplice.hs
  • Note [Free variables of typed splices]
  • Note [Renamer errors]
  • Note [Running splices in the Renamer]
  • Note [Delaying modFinalizers in untyped splices]
  • Note [Partial Type Splices]
  • Note [rnSplicePat]
  • Note [Keeping things alive for Template Haskell]
  • Note [Quoting names]
• compiler/rename/RnTypes.hs
  • Note [Renaming named wild cards]
  • Note [Context quantification]
  • Note [QualTy in kinds]
  • Note [bindHsQTyVars examples]
  • Note [Kind variable scoping]
  • Note [Variables used as both types and kinds]
  • Note [Kind and type-variable binders]
  • Note [Ordering of implicit variables]
  • Note [Implicit quantification in type synonyms]
  • Note [Implicit quantification in type synonyms: non-taken alternatives]