From: Valentin Bonnard (Bonnard.V_at_[hidden])
Date: 1999-11-10 12:30:43
Darin Adler wrote:
> It seems a bit extreme to leave this up to each individual programmer to
Indeed. I would go as far as saying it is silly.
> But I'd like to hear others' thoughts on the matter.
The natural post-condition of a = b is a == b, and it's
the _only_ natural post-condition. This is just
-- Valentin Bonnard
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk