Re: Messing with the type heirarchy

[Ingo Blechschmidt]

Hi,

Luke Palmer wrote:
> http://repetae.net/john/recent/out/supertyping.html
> 
> This was a passing proposal to allow supertype declarations in
> Haskell.  I'm referencing it here because it's something that I've had
> in the back of my mind for a while for Perl 6.  I'm glad somebody else
> has thought of it.
[...]
>     role Complex
>         does Object
>         contains Num
>     {...}

I've probably misunderstood you, but...:

    role Complex does Object {...}
    Num does Complex;
    # That should work and DWYM, right?


--Ingo

-- 
Linux, the choice of a GNU | Wissen ist Wissen, wo man es findet.  
generation on a dual AMD   | 
Athlon!                    |