From: simonpj Date: Tue, 5 Feb 2002 14:43:35 +0000 (+0000) Subject: [project @ 2002-02-05 14:43:35 by simonpj] X-Git-Tag: Approximately_9120_patches~151 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=144e841e833b037704e86b1de247d4f2aefe26e2;hp=c7eeb7113387ae4d3adc5a02eba441de335a9031;p=ghc-hetmet.git [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 --- 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 --- 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