- ... Indeed, and this bug has been there for a long long time. See http://SmallEiffel.loria.fr/Mailing-list/msg00714.html Alain.Message 1 of 6 , Oct 1, 1999View SourceDarren Hiebert <darren@...> writes:
> The precondition of feature 'set' of class A, as written, violatesIndeed, and this bug has been there for a long long time.
> condition 3 of the "Redeclaration rule" (ETL p. 163), (validity code
> VDRD3), which requires an explicit use of "require else" for
> redefined features.
> If SmallEiffel is permitting this, then it is not enforcing VDRD3.