On Mon, Nov 3, 2008 at 2:49 PM, Luke Palmer <[EMAIL PROTECTED]> 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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
