Malcolm Wallace wrote: | This has been said before, but maybe we need someone | to formulate a huge set of QuickCheck properties about | the Prelude/Libraries. That would root out quite a | lot of remaining bugs relatively quickly I suspect.
This sounds like an interesting (student) project, that would require to develop new methodologies for testing with QuickCheck. Alastair Reid wrote: | I think we'd want a modified version of quickcheck | which generated a file of results which were then | checked by an external tool. The problem being that | there's a wide range of compiler bugs which can make a | program return 'True' without actually executing the | program correctly. I do not understand what you mean here. Maybe an example helps? | With that modification, I strongly agree. I'm in! /Koen. -- Koen Claessen http://www.cs.chalmers.se/~koen Chalmers University, Gothenburg, Sweden. _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
