On Sat, Dec 19, 2009 at 1:07 PM, <pugs-comm...@feather.perl6.nl> wrote: > for the most generic non-failure undefined value. The C<Any> type, > derived from C<Mu>, is also undefined, but excludes C<junctions> so > that autothreading may be dispatched using normal multiple dispatch > -rules. The C<Whatever> type is derived from C<Any> but nothing else > +rules. All user-defined classes derive from the C<Any> class by default. > +The C<Whatever> type is derived from C<Any> but nothing else > is derived from it.
That's cool with me; but if you're going to introduce a default derivation, you should also provide a means to explicitly not do it that way. What if I need to make a new type that, like junctions, should not derive from Any, but isn't a junction? Is it that explicitly deriving from a type that's already outside of Any (such as Mu or junction) automatically disables the implicit Any derivation? -- Jonathan "Dataweaver" Lang
