From a49a772808296f7d39c079e0e430e80fe94a89c0 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Fri, 7 Sep 2001 16:52:53 +0000
Subject: [PATCH] [project @ 2001-09-07 16:52:53 by simonpj] Make isStrictDmd
 give the right answer

---
 ghc/compiler/basicTypes/NewDemand.lhs |   13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/ghc/compiler/basicTypes/NewDemand.lhs b/ghc/compiler/basicTypes/NewDemand.lhs
index 58d682a..d496c96 100644
--- a/ghc/compiler/basicTypes/NewDemand.lhs
+++ b/ghc/compiler/basicTypes/NewDemand.lhs
@@ -223,12 +223,13 @@ seqDmd  = Seq Keep []	-- Polymorphic seq demand
 evalDmd = Eval
 
 isStrictDmd :: Demand -> Bool
-isStrictDmd Bot       = True
-isStrictDmd Err	      = True    	   
-isStrictDmd (Seq _ _) = True
-isStrictDmd Eval      = True
-isStrictDmd (Call _)  = True
-isStrictDmd other     = False
+isStrictDmd Bot       	 = True
+isStrictDmd Err	      	 = True    	   
+isStrictDmd (Seq Drop _) = True	-- But not Defer!
+isStrictDmd (Seq Keep _) = True
+isStrictDmd Eval      	 = True
+isStrictDmd (Call _)  	 = True
+isStrictDmd other     	 = False
 
 instance Outputable Demand where
     ppr Lazy 	   = char 'L'
-- 
1.7.10.4