Commit 144e841e authored by simonpj's avatar simonpj
Browse files

[project @ 2002-02-05 14:43:35 by simonpj]

Imports and comments only
parent c7eeb711
......@@ -26,7 +26,7 @@ import Id ( isDataConId, isOneShotLambda, setOneShotLambda,
idSpecialisation, isLocalId,
idType, idUnique, Id
)
import IdInfo ( shortableIdInfo, copyIdInfo )
import IdInfo ( copyIdInfo )
import BasicTypes ( OccInfo(..), isOneOcc )
import VarSet
......
......@@ -264,7 +264,11 @@ updateBinders :: IdSet -- Locally defined ids with their Rules attached
-- Update the binders of top-level bindings as follows
-- a) Attach the rules for each locally-defined Id to that Id.
-- b) Set the no-discard flag if either the Id is exported,
-- or it's mentoined in the RHS of a rule
-- or it's mentioned in the RHS of a rule
--
-- You might wonder why exported Ids aren't already marked as such;
-- it's just because the type checker is rather busy already and
-- I didn't want to pass in yet another mapping.
--
-- Reason for (a)
-- - It makes the rules easier to look up
......
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