Hi, On Tue, 20 Mar 2012, Richard Sandiford wrote:
> If Mike or anyone is up to doing that, then great. But if instead it's > just a case of handling zero correctly, moving rather than removing the > assert seems safer. > > I'm obviously not explaining this well :-) Actually you did. I've tried yesterday to come up with a text that would do the same (because I agree with you that deleting the assert changes the spec of the function, simply because the assert _is_ part of the spec of the function), and my attempt was _much_ worse than yours, so I didn't send it :) Ciao, Michael.