[Haskell-cafe] Maintaining laziness

[Henning Thielemann]

On Mon, 12 Jan 2009, Jan Christiansen wrote:

> Hi,
>
>> Although it seems to be overkill for a single module - How about a 
>> cabalized version on Hackage and a darcs repository? It would simplify 
>> using and updating it.
>
> I am not sure whether this would be a good idea. The original version makes a 
> lot of suggestions which are not satisfiable but it is not at all trivial to 
> decide which are satisfiable and which are not. I have rewritten StrictCheck 
> from scratch to overcome this problem. But the current implementation is not 
> presentable right now and I have no formal prove that the criterion that I am 
> using is correct.

As I said, the current version is already very useful. I have applied it 
to several basic functions and found a lot to improve.