From 144e841e833b037704e86b1de247d4f2aefe26e2 Mon Sep 17 00:00:00 2001 From: simonpj Date: Tue, 5 Feb 2002 14:43:35 +0000 Subject: [PATCH 1/1] [project @ 2002-02-05 14:43:35 by simonpj] Imports and comments only --- ghc/compiler/simplCore/OccurAnal.lhs | 2 +- ghc/compiler/simplCore/SimplCore.lhs | 6 +++++- 2 files changed, 6 insertions(+), 2 deletions(-) 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 -- 1.7.10.4