import VarSet
import Var ( Id, IdOrTyVar )
import Id ( idType, idInfo, idName,
import VarSet
import Var ( Id, IdOrTyVar )
import Id ( idType, idInfo, idName,
- mkVanillaId, mkId, isUserExportedId,
+ mkVanillaId, mkId, exportWithOrigOccName,
getIdStrictness, setIdStrictness,
getIdDemandInfo, setIdDemandInfo,
)
getIdStrictness, setIdStrictness,
getIdDemandInfo, setIdDemandInfo,
)
-- decl. tidyTopId then does a no-op on exported binders.
init_tidy_env = (initTidyOccEnv avoids, emptyVarEnv)
avoids = [getOccName bndr | bndr <- bindersOfBinds binds_in,
-- decl. tidyTopId then does a no-op on exported binders.
init_tidy_env = (initTidyOccEnv avoids, emptyVarEnv)
avoids = [getOccName bndr | bndr <- bindersOfBinds binds_in,
- (tidy_env', name') | isUserExportedId id = (tidy_env, idName id)
- | otherwise = tidyTopName mod tidy_env (idName id)
+ (tidy_env', name') | exportWithOrigOccName id = (tidy_env, idName id)
+ | otherwise = tidyTopName mod tidy_env (idName id)
ty' = tidyTopType (idType id)
idinfo' = tidyIdInfo env_idinfo (idInfo id)
id' = mkId name' ty' idinfo'
ty' = tidyTopType (idType id)
idinfo' = tidyIdInfo env_idinfo (idInfo id)
id' = mkId name' ty' idinfo'