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