[Haskell-cafe] Maintaining laziness

[Henning Thielemann]

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
   http://hackage.haskell.org/cgi-bin/hackage-scripts/package/utility-ht

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.