X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FsimplCore%2FSimplEnv.lhs;h=960475c0b5c6191475fba50c2c0fc9c5cc9f2067;hp=3556b7eae377bbf71f3a2ee97f58eaf6f4a17dc8;hb=15cb792d18b1094e98c035dca6ecec5dad516056;hpb=5d541fe7c43a1dc4c1b2dd9ee49e64238b0754ca

diff --git a/compiler/simplCore/SimplEnv.lhs b/compiler/simplCore/SimplEnv.lhs
index 3556b7e..960475c 100644
--- a/compiler/simplCore/SimplEnv.lhs
+++ b/compiler/simplCore/SimplEnv.lhs
@@ -42,9 +42,9 @@ module SimplEnv (
 import SimplMonad	
 import Id		( Id, idType, idOccInfo, idUnfolding, setIdUnfolding )
 import IdInfo		( IdInfo, vanillaIdInfo, occInfo, setOccInfo, specInfo, setSpecInfo,
-			  arityInfo, setArityInfo, workerInfo, setWorkerInfo, 
+			  arityInfo, workerInfo, setWorkerInfo, 
 			  unfoldingInfo, setUnfoldingInfo, isEmptySpecInfo,
-			  unknownArity, workerExists
+			  workerExists
 			    )
 import CoreSyn
 import Rules		( RuleBase )
@@ -58,7 +58,7 @@ import OrdList
 import qualified CoreSubst	( Subst, mkSubst, substExpr, substSpec, substWorker )
 import qualified Type		( substTy, substTyVarBndr )
 
-import Type             ( Type, TvSubst(..), TvSubstEnv, composeTvSubst,
+import Type             ( Type, TvSubst(..), TvSubstEnv,
 			  isUnLiftedType, seqType, tyVarsOfType )
 import Coercion         ( Coercion )
 import BasicTypes	( OccInfo(..), isFragileOcc )
@@ -556,8 +556,7 @@ substIdInfo subst info
 		    not (workerExists old_wrkr) &&
 		    not (hasUnfolding (unfoldingInfo info))
     
-    keep_occ   = not (isFragileOcc old_occ)
-    old_arity = arityInfo info
+    keep_occ  = not (isFragileOcc old_occ)
     old_occ   = occInfo info
     old_rules = specInfo info
     old_wrkr  = workerInfo info