Luke Palmer wrote:
Woah, that was a terrible passage.  Let's try again.  If your
declaration is "role Foo superdoes Bar".

   * it is illegal to add a required method to Foo if Bar doesn't
already implement it or require it

With "required method" you mean an unimplemented method with a {...},

   * any required method for Foo automatically becomes a required
method for Bar, even if it wasn't there before

Yes, I wouldn't allow yada methods in the superrole that are not
implemented in the subrole it is based on. Lifting a yada method
that exists in the subrole is fine of course.

Regards, TSa.

Reply via email to