duncan.coutts at worc.ox.ac.uk
Mon Jul 9 19:30:28 EDT 2007
On Tue, 2007-07-10 at 00:06 +0100, Neil Mitchell wrote:
> > To really convince yourself and everyone else you could compare it
> > against the spec, for both total and partial values.
> I'm pretty convinced that I applied reasoning rules at each stage. If
> you have a proof, testing is irrelevant :-)
Ok, if you're sure. :-)
> I've already modified the Yhc base library with this optimisation, and
> done some basic testing, and nothing broke.
I'm more hesitant because I've already rewritten words once and got it
wrong. What's more it passed all the casual testing and quickcheck tests
I used. That's because it was correct for total values, it only went
wrong for partial values. It wasn't until I developed the SmallCheck on
partial value tests that I discovered the bug.
More information about the Libraries