On Sunday, April 6, 2003, at 01:04 PM, Mathieu Bouchard wrote:

> If they have diverging interfaces such that the contracts conflict with
> each other, then maybe they should two subclasses with a common
> superclass, possibly Object or possibly a new class representing 
> whatever
> they might have in common.
>

I was just about to post the same thing: gaving UnboundMethod inherit 
from Method breaks the LSP, and is clearly getting pretty ugly. Perhaps 
'arity' should be a mixin?

Cheers


Dave