| 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
- unboundName :: WhereLooking -> RdrName -> RnM Name
- unboundNameX :: WhereLooking -> RdrName -> SDoc -> RnM Name
- notInScopeErr :: RdrName -> SDoc
Documentation
mkUnboundName :: OccName -> Name #
mkUnboundNameRdr :: RdrName -> Name Source #
isUnboundName :: Name -> Bool #
unknownNameSuggestions :: DynFlags -> HomePackageTable -> Module -> GlobalRdrEnv -> LocalRdrEnv -> ImportAvails -> RdrName -> SDoc Source #
Called from the typechecker (TcErrors) when we find an unbound variable
data WhereLooking Source #
Constructors
| WL_Any | |
| WL_Global | |
| WL_LocalTop | |
| WL_LocalOnly |
unboundName :: WhereLooking -> RdrName -> RnM Name Source #
unboundNameX :: WhereLooking -> RdrName -> SDoc -> RnM Name Source #
notInScopeErr :: RdrName -> SDoc Source #