From: Peter Dimov (pdimov_at_[hidden])
Date: 2001-10-24 13:55:22
From: "James Curran/MVP" <jamescurran_at_[hidden]>
> So, by making the count unsigned, we would be formalizing the
> precondition that is already there.
There is no precondition; there is a count >= 0 invariant. It is assert'able
with a signed count, and not assert'able with an unsigned.
-- Peter Dimov Multi Media Ltd.