Commit 3c1e70b8 authored by sof's avatar sof
Browse files

[project @ 1999-01-21 19:59:20 by sof]

Removed unused args from Id.mkIdVisible and Name.mkNameVisible.
Perpetuated Name.mkTopName hack in Name.mkNameVisible.
parent 62485293
......@@ -174,9 +174,8 @@ omitIfaceSigForId id
\end{code}
\begin{code}
mkIdVisible :: Module -> Unique -> Id -> Id
mkIdVisible mod u id
= setIdName id (mkNameVisible mod u (idName id))
mkIdVisible :: Module -> Id -> Id
mkIdVisible mod id = setIdName id (mkNameVisible mod (idName id))
\end{code}
%************************************************************************
......
......@@ -231,10 +231,12 @@ getNameProvenance (Local _ _ _) = LocalDef noSrcLoc NotExported
\begin{code}
-- make the Name globally visible regardless.
mkNameVisible :: Module -> Unique -> Name -> Name
mkNameVisible mod occ_uniq nm@(Global _ _ _ _) = nm
mkNameVisible mod occ_uniq nm@(Local uniq occ _)
= Global uniq mod occ (LocalDef noSrcLoc Exported)
mkNameVisible :: Module -> Name -> Name
mkNameVisible mod nm@(Global _ _ _ _) = nm
mkNameVisible mod nm@(Local uniq occ _) = Global uniq mod g_occ (LocalDef noSrcLoc Exported)
where
-- See mkTopName comment. A hack.
g_occ = varOcc (_PK_ (occNameString occ ++ show uniq))
\end{code}
......
Markdown is supported
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