cvs commit: fptools/ghc/compiler/stranal DmdAnal.lhs

[Simon Peyton Jones]

simonpj     2001/08/22 03:00:51 PDT

  Modified files:
    ghc/compiler/stranal DmdAnal.lhs 
  Log:
  	-------------------------
  	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!
  
  Revision  Changes    Path
  1.14      +16 -4     fptools/ghc/compiler/stranal/DmdAnal.lhs