Boost logo

Boost :

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

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
common-sens.

-- 
Valentin Bonnard

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk