Robert Dewar writes: > Paul Brook wrote: > > > As opposed to a buggy program with wilful disregard for signed overflow > > semantics? ;-) > > I know there is a smiley there, but in fact I think it is useful to > distinguish these two cases.
This is, I think, a very interesting comment. I've thought about it for a little while, and I don't understand why you think it is useful to distinguish these two cases. Is it simply that one error is likely to be more common than another? Or is there some more fundamental reason? Andrew.