GHC.Rename.Unbound · ghc-9.10.3

valuemkUnboundName :: OccName -> Name

#

valuemkUnboundNameRdr :: RdrName -> Name

#

valuemkUnboundGRE :: OccName -> GlobalRdrElt

#

valuemkUnboundGRERdr :: RdrName -> GlobalRdrElt

#

valueisUnboundName :: Name -> Bool

#

valuereportUnboundName :: RdrName -> RnM Name

#

valuereportUnboundName' :: WhatLooking -> RdrName -> RnM Name

#

valueunknownNameSuggestions

#

Called from the typechecker (GHC.Tc.Errors) when we find an unbound variable

valuesimilarNameSuggestions

#

valuefieldSelectorSuggestions :: GlobalRdrEnv -> RdrName -> [GhcHint]

#

When the name is in scope as field whose selector has been suppressed by NoFieldSelectors, display a helpful message explaining this.

datadata WhatLooking

#

WL_Anything WL_Constructor WL_RecField WL_None

Instances1Eq

Eq WhatLookingDefined in ghc-9.10.3 · GHC.Rename.Unbound

datadata WhereLooking

#

WL_Anywhere WL_Global WL_LocalTop WL_LocalOnly

datadata LookingFor

#

Constructors

LF
- lf_which :: WhatLooking
- lf_where :: WhereLooking

valueunboundName :: LookingFor -> RdrName -> RnM Name

#

valueunboundNameX :: LookingFor -> RdrName -> [GhcHint] -> RnM Name

#

valueunboundTermNameInTypes :: LookingFor -> RdrName -> RdrName -> RnM Name

#

datadata IsTermInTypes

#

Constructors

UnknownTermInTypes RdrName
TermInTypes RdrName
NoTermInTypes

valuenotInScopeErr :: WhereLooking -> RdrName -> NotInScopeError

#

valuenameSpacesRelated

:: DynFlags
to find out whether -XDataKinds is enabled
-> WhatLooking
What kind of name are we looking for
-> NameSpace
Name space of the original name
-> NameSpace
Name space of a name that might have been meant
-> Bool

#

valuetermNameInType :: LookingFor -> RdrName -> RdrName -> [GhcHint] -> RnM Name

#