Invariants for methods

bearophile bearophileHUGS at lycos.com
Thu Nov 18 10:12:22 PST 2010


Andrei:

> There is a limitation of the current system in that the out contract 
> can't see the scope of the in contract. Walter and I tried to find a 
> solution, but it was technically difficult in the presence of inheritance.

C#4 designers seem to have found a way to implement "old" (Prestate Values) correctly enough, so can't D2 adopt a similar solution?

Bye,
bearophile


More information about the Digitalmars-d mailing list