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

[Marcin 'Qrczak' Kowalczyk]

Tue, 24 Jul 2001 09:42:11 -0700, Simon Peyton Jones <simonpj@glass.cse.ogi.edu> pisze:

>   A major demand-analyser fix, which made it say something was
>   absent when it wasn't at all.  Here's the comment from the
>   Case equation of dmdAnal.
>   
>   	-- Figure out whether the case binder is used, and use
>   	-- that to set the keepity of the demand.  This is utterly essential.
>   	-- Consider	f x = case x of y { (a,b) -> k y a }

Ah, I guess that's why most 'wild' variables had better demand, A,
than with the old analyser.

-- 
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK