Commit a49a7728 authored by simonpj's avatar simonpj
Browse files

[project @ 2001-09-07 16:52:53 by simonpj]

Make isStrictDmd give the right answer
parent dd27c958
......@@ -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'
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment