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.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
