Ambiguities
Can have ambiguities, just like with multi-methods in Cecil
- What if two parents define methods, neither of which overrides the other?
- object Rectangle isa Shape; method area(r@Rectangle) { … }object Rhombus isa Shape; method area(r@Rhombus) { … }object Square isa Rectangle,Rhombus;let s := new_square(4);…area(s)… -- which method?