Invariant and pre/post-conditions order

Walter Bright newshound2 at digitalmars.com
Fri Jan 20 00:32:43 PST 2012

Previous message: Invariant and pre/post-conditions order
Next message: Invariant and pre/post-conditions order
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 1/20/2012 12:23 AM, Manfred Nowak wrote:
> If there are advantages, then the specs are wrong,

I recently fixed the specs to define the sequence.

Previous message: Invariant and pre/post-conditions order
Next message: Invariant and pre/post-conditions order
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Digitalmars-d mailing list