[project @ 2001-08-22 10:00:51 by simonpj]
authorsimonpj <unknown>
Wed, 22 Aug 2001 10:00:51 +0000 (10:00 +0000)
committersimonpj <unknown>
Wed, 22 Aug 2001 10:00:51 +0000 (10:00 +0000)
commitd5a43d65c49456ddfe129e36e21cf4326f138149
treeb71bfccfda9e3eaf094161ac0177513a3e50e169
parent1a369f5204343d9cf103d329731636a0ae3e5859
[project @ 2001-08-22 10:00:51 by simonpj]
-------------------------
Fix a demand-analyser bug
-------------------------

This bug led to "entered absent arg" errors.
The fix is in DmdAnal.dmdTransform

-- Important!  If we Keep the constructor application, then
-- we need the demands the constructor places (usually lazy)
-- If not, we don't need to.  For example:
-- f p@(x,y) = (p,y) -- S(AL)
-- g a b     = f (a,b)
-- It's vital that we don't calculate Absent for a!
ghc/compiler/stranal/DmdAnal.lhs