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

Imports and comments only

diff --git a/ghc/compiler/simplCore/OccurAnal.lhs b/ghc/compiler/simplCore/OccurAnal.lhs
index 021ee87..89dca58 100644 (file)
--- a/ghc/compiler/simplCore/OccurAnal.lhs
+++ b/ghc/compiler/simplCore/OccurAnal.lhs
@@ -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

diff --git a/ghc/compiler/simplCore/SimplCore.lhs b/ghc/compiler/simplCore/SimplCore.lhs
index 2ff3caa..e8db094 100644 (file)
--- a/ghc/compiler/simplCore/SimplCore.lhs
+++ b/ghc/compiler/simplCore/SimplCore.lhs
@@ -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