From: simonpj <unknown>
Date: Fri, 7 Sep 2001 16:52:53 +0000 (+0000)
Subject: [project @ 2001-09-07 16:52:53 by simonpj]
X-Git-Tag: Approximately_9120_patches~1006
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=a49a772808296f7d39c079e0e430e80fe94a89c0;p=ghc-hetmet.git

[project @ 2001-09-07 16:52:53 by simonpj]
Make isStrictDmd give the right answer
---

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'