Re: [Haskell-cafe] Problems with strictness analysis?

3 Nov 2008


      On Mon, Nov 3, 2008 at 2:49 PM, Luke Palmer  wrote:
...
I am confused about your usage of "strict".  Optimizations are not
supposed to change semantics, so I don't know how it is possible to
make a function strict by turning on optimizations.  This function was
always strict in s, given a strict numeral type.  By induction on n:
isum 0 _|_ = _|_
 isum (n+1) _|_ = isum n (s+_|_) = isum n _|_ = _|_
Modulo math bugs :-)

 isum (n+1) _|_ = isum n (_|_+n) = isum n _|_ = _|_

Luke