From: simonpj <unknown>
Date: Wed, 25 Jul 2001 10:49:46 +0000 (+0000)
Subject: [project @ 2001-07-25 10:49:46 by simonpj]
X-Git-Tag: Approximately_9120_patches~1413
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=0338d7e232f362bc8b6404b758475de9ef677221;p=ghc-hetmet.git

[project @ 2001-07-25 10:49:46 by simonpj]
Do for evalStrictness the same as for evalAbsence
---

diff --git a/ghc/compiler/stranal/SaAbsInt.lhs b/ghc/compiler/stranal/SaAbsInt.lhs
index 192dc8a..8cab167 100644
--- a/ghc/compiler/stranal/SaAbsInt.lhs
+++ b/ghc/compiler/stranal/SaAbsInt.lhs
@@ -293,8 +293,12 @@ evalStrictness (WwUnpack _ demand_info) val
   = case val of
       AbsTop	   -> False
       AbsBot	   -> True
-      AbsProd vals -> or (zipWithEqual "evalStrictness" evalStrictness demand_info vals)
-      _	    	   -> pprTrace "evalStrictness?" empty False
+      AbsProd vals
+	   | length vals /= length demand_info -> pprTrace "TELL SIMON: evalStrictness" (ppr demand_info $$ ppr val)
+						  False
+	   | otherwise -> or (zipWithEqual "evalStrictness" evalStrictness demand_info vals)
+
+      _	    	       -> pprTrace "evalStrictness?" empty False
 
 evalStrictness WwPrim val
   = case val of
@@ -319,7 +323,7 @@ evalAbsence (WwUnpack _ demand_info) val
 	AbsTop	     -> False		-- No poison in here
 	AbsBot 	     -> True		-- Pure poison
 	AbsProd vals 
-	   | length vals /= length demand_info -> pprTrace "evalAbsence" (ppr demand_info $$ ppr val)
+	   | length vals /= length demand_info -> pprTrace "TELL SIMON: evalAbsence" (ppr demand_info $$ ppr val)
 						  True
 	   | otherwise -> or (zipWithEqual "evalAbsence" evalAbsence demand_info vals)
 	_	       -> panic "evalAbsence: other"