Alastair Reid:
> 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
> co
On Wed, 24 Jul 2002, Koen Claessen wrote:
> 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 susp
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
| As near as I can tell, the precedence of the bounds and
| indices in an array doesn't matter at all. Simon M's
| suggested change to Page 24 is therefore good for
| consistency, but doesn't appear to actually have any effect.
| Am I missing something?
I think you are right, because the b
Malcolm:
> Not entirely true. A large chunk of the nhc98 (and hat) libraries
> is copied directly from the Report.
I think we all copied from the report originally - the problem is that
we fix our copies of the code and forget to fix the original. The
method I described was intended to let me
Malcolm Wallace <[EMAIL PROTECTED]> guesses:
> So I guess that means very few people are using Array and Ratio,
> or at least we aren't show'ing and read'ing them, or the particular
> enclosing precedence value that triggered this bug is very rare.
I'd revise that to "very few people are using Ra
Alastair Reid <[EMAIL PROTECTED]> writes:
> > [...] (How do these bugs last so long?)
>
> None of the compilers actually use the report Prelude/libraries.
Not entirely true. A large chunk of the nhc98 (and hat) libraries
is copied directly from the Report. The real problem (maybe this
is what
Simon Peyton-Jones <[EMAIL PROTECTED]> writes:
> Another small but long-standing bug in the Haskell Library
> report: [...]
>
> [...] (How do these bugs last so long?)
None of the compilers actually use the report Prelude/libraries.
When writing the STG-Hugs backend I used the actual report co
Folks,
Another small but long-standing bug in the Haskell Library report:
the recursive calls to 'reads' and 'shows' in the Read and Show
instances for Ratio and Array should be calls to readsPrec and showsPrec
respectively. The corrected defintions are below.
(c.f. the example of derived instan
