From 0338d7e232f362bc8b6404b758475de9ef677221 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Wed, 25 Jul 2001 10:49:46 +0000
Subject: [PATCH] [project @ 2001-07-25 10:49:46 by simonpj] Do for
 evalStrictness the same as for evalAbsence

---
 ghc/compiler/stranal/SaAbsInt.lhs |   10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

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"
-- 
1.7.10.4