Le 05/03/2012 05:26, Alex Rønne Petersen a écrit :
The issues I personally see as most important are related to contract inheritance and contracts on functions without a body.Additionally, I think that dropping the need for parentheses on invariant declarations would be a good idea, such that it feels more like unittest declarations. Furthermore, the ability to declare multiple invariants is essential for mixins and meta-programming in general.
100% agreed !
