[Haskell-cafe] Problems with strictness analysis?

[Luke Palmer]

On Mon, Nov 3, 2008 at 2:49 PM, Luke Palmer <lrpalmer at gmail.com> 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