| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
RnUnbound
Synopsis
- mkUnboundName :: OccName -> Name
- mkUnboundNameRdr :: RdrName -> Name
- isUnboundName :: Name -> Bool
- reportUnboundName :: RdrName -> RnM Name
- unknownNameSuggestions :: DynFlags -> HomePackageTable -> Module -> GlobalRdrEnv -> LocalRdrEnv -> ImportAvails -> RdrName -> SDoc
- data WhereLooking
- = WL_Any
- | WL_Global
- | WL_LocalTop
- | WL_LocalOnly
- unboundName :: WhereLooking -> RdrName -> RnM Name
- unboundNameX :: WhereLooking -> RdrName -> SDoc -> RnM Name
- perhapsForallMsg :: SDoc
- notInScopeErr :: RdrName -> SDoc
Documentation
mkUnboundName :: OccName -> Name Source #
mkUnboundNameRdr :: RdrName -> Name Source #
isUnboundName :: Name -> Bool Source #
unknownNameSuggestions :: DynFlags -> HomePackageTable -> Module -> GlobalRdrEnv -> LocalRdrEnv -> ImportAvails -> RdrName -> SDoc Source #
Called from the typechecker (TcErrors) when we find an unbound variable
data WhereLooking Source #
unboundName :: WhereLooking -> RdrName -> RnM Name Source #
unboundNameX :: WhereLooking -> RdrName -> SDoc -> RnM Name Source #
notInScopeErr :: RdrName -> SDoc Source #