X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FbasicTypes%2FId.lhs;h=c9c503de127c334d3be8bcb5d7c12dd5268dfe0d;hb=a97f155c04a7ff981da3e589158ecf70db72d1cd;hp=798bde666cbf691e2acb3478f517e91822cc6c1f;hpb=182ce7e265699c9fd326f59d29767923100a2d16;p=ghc-hetmet.git diff --git a/compiler/basicTypes/Id.lhs b/compiler/basicTypes/Id.lhs index 798bde6..c9c503d 100644 --- a/compiler/basicTypes/Id.lhs +++ b/compiler/basicTypes/Id.lhs @@ -160,13 +160,14 @@ mkLocalId :: Name -> Type -> Id mkLocalId name ty = mkLocalIdWithInfo name ty vanillaIdInfo -- SysLocal: for an Id being created by the compiler out of thin air... +mkSysLocal :: FastString -> Unique -> Type -> Id +mkSysLocal fs uniq ty = mkLocalId (mkSystemVarName uniq fs) ty + + -- UserLocal: an Id with a name the user might recognize... mkUserLocal :: OccName -> Unique -> Type -> SrcLoc -> Id -mkSysLocal :: FastString -> Unique -> Type -> Id mkVanillaGlobal :: Name -> Type -> IdInfo -> Id -mkSysLocal fs uniq ty = mkLocalId (mkSystemVarName uniq fs) ty - mkUserLocal occ uniq ty loc = mkLocalId (mkInternalName uniq occ loc) ty mkVanillaGlobal = mkGlobalId VanillaGlobal \end{code} @@ -525,8 +526,8 @@ clearOneShotLambda id \begin{code} zapLamIdInfo :: Id -> Id -zapLamIdInfo id = maybeModifyIdInfo zapLamInfo id +zapLamIdInfo id = maybeModifyIdInfo (zapLamInfo (idInfo id)) id -zapDemandIdInfo id = maybeModifyIdInfo zapDemandInfo id +zapDemandIdInfo id = maybeModifyIdInfo (zapDemandInfo (idInfo id)) id \end{code}