Re: What I'm Working On

2008-04-08 Thread John M. Dlugosz
TSa Thomas.Sandlass-at- This hinges on the details how binding works. If it is pure name lookup then you can bind only variables of equal type. But $Larry has the idea of $x1 and $x2 being different views of the same underlying item. E.g. That's not at all the same kind of thing as briefly desc

Re: What I'm Working On

2008-04-08 Thread TSa
HaloO, John M. Dlugosz wrote: Here is a sample: There you write: class C { ... } class D is C { ... } my C $c1; # creates container with actual value type of C my D $d1 := $c1; # OK, since D “isa” C. my C $c2 := $d1; # compile-time error, si