Commit ae52de4c authored by simonpj's avatar simonpj
Browse files

[project @ 2005-11-28 11:45:38 by simonpj]

Dont try to output code for "naughty" record selectors
parent 8b3ccdc9
......@@ -21,7 +21,7 @@ import VarEnv
import VarSet
import Var ( Id, Var )
import Id ( idType, idInfo, idName, idCoreRules, isGlobalId,
isExportedId, mkVanillaGlobal, isLocalId,
isExportedId, mkVanillaGlobal, isLocalId, isNaughtyRecordSelector,
idArity, idCafInfo, idUnfolding, isImplicitId, setIdInfo
)
import IdInfo {- loads of stuff -}
......@@ -383,7 +383,10 @@ getImplicitBinds type_env
where
implicit_con_ids tc = mapCatMaybes dataConWrapId_maybe (tyConDataCons tc)
other_implicit_ids (ATyCon tc) = tyConSelIds tc
other_implicit_ids (ATyCon tc) = filter (not . isNaughtyRecordSelector) (tyConSelIds tc)
-- The "naughty" ones are not real functions at all
-- They are there just so we can get decent error messages
-- See Note [Naughty record selectors] in MkId.lhs
other_implicit_ids (AClass cl) = classSelIds cl
other_implicit_ids other = []
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment