[Haskell-cafe] Maintaining laziness
lemming at henning-thielemann.de
Wed Jan 14 09:26:44 EST 2009
On Tue, 13 Jan 2009, Jan Christiansen wrote:
> I would be very interested in functions that can be improved with respect to
> non-strictness as test cases for my work.
See the List functions in
Version 0.0.1 was before applying StrictCheck, 0.0.2 after processing its
suggestions. I have stopped when I saw that it repeatedly shows examples
where I expect, that they are unresolvable.
More information about the Haskell-Cafe