On Thu, 2004-05-06 at 10:39, Aaron Sherman wrote: > The simple case is: > > sub foo(X $i is rw) {...} > class X {...} > class Y {...} > my Y $var = 'something'; > foo($var); > > In this case, something kind of interesting has to happen. > > Either the signature checking has to verify that Y isa X (and thus can > be used polymorphically as X, not just converted to X) ...
I'd argue 'Y does X', actually, though Dan disagrees and says "Well, whatever!" -- c