Skip to content
Snippets Groups Projects
Commit af2c2b19 authored by sof's avatar sof
Browse files

[project @ 1998-08-14 11:20:27 by sof]

New function: mkIdVisible
parent 7e218435
No related merge requests found
...@@ -16,7 +16,8 @@ module Id ( ...@@ -16,7 +16,8 @@ module Id (
-- Construction and modification -- Construction and modification
mkId, mkIdWithNewUniq, mkIdWithNewName, mkIdWithNewType, mkId, mkIdWithNewUniq, mkIdWithNewName, mkIdWithNewType,
mkTemplateLocals, mkTemplateLocals,
setIdVisibility, mkVanillaId, setIdVisibility, mkIdVisible,
mkVanillaId,
-- DESTRUCTION (excluding pragmatic info) -- DESTRUCTION (excluding pragmatic info)
idPrimRep, idPrimRep,
...@@ -112,7 +113,8 @@ import CmdLineOpts ( opt_PprStyle_All ) ...@@ -112,7 +113,8 @@ import CmdLineOpts ( opt_PprStyle_All )
import Bag import Bag
import IdInfo import IdInfo
import Name ( nameUnique, isLocalName, mkSysLocalName, import Name ( nameUnique, isLocalName, mkSysLocalName,
isWiredInName, setNameVisibility, changeUnique, isWiredInName, setNameVisibility, mkNameVisible,
changeUnique,
ExportFlag(..), Provenance, ExportFlag(..), Provenance,
OccName(..), Name, Module, OccName(..), Name, Module,
NamedThing(..) NamedThing(..)
...@@ -264,6 +266,9 @@ setIdVisibility :: Maybe Module -> Unique -> Id -> Id ...@@ -264,6 +266,9 @@ setIdVisibility :: Maybe Module -> Unique -> Id -> Id
setIdVisibility maybe_mod u id setIdVisibility maybe_mod u id
= id {idName = setNameVisibility maybe_mod u (idName id)} = id {idName = setNameVisibility maybe_mod u (idName id)}
mkIdVisible :: Module -> Unique -> Id -> Id
mkIdVisible mod u id = id {idName = mkNameVisible mod u (idName id)}
replaceIdInfo :: GenId ty -> IdInfo -> GenId ty replaceIdInfo :: GenId ty -> IdInfo -> GenId ty
replaceIdInfo id info = id {idInfo = info} replaceIdInfo id info = id {idInfo = info}
\end{code} \end{code}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment