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. Duncan