Jan. 21, 2009
10:08 p.m.
On Jan 21, 2009, at 22:57 , Stéphane Ducasse wrote:
Adrian why this is not simply that when you compute the composition and the method that you should add in B that you do not add f if it is an explicit requirement and defined in the superclass?
Its not that simple because the situation can change at any time. Lets say, class A does not implement #doSomething when you define B. When you add the trait T1, #doSomething sending #explicitRequirement is added to B. Later you implement #doSomething in A. At this moment the #doSomething has to be removed from B. Adrian