-------------- Original message ---------------------- From: TSa <[EMAIL PROTECTED]> > HaloO, > > John M. Dlugosz wrote: > >> Maybe we already have this--see "emulates" in S11. > > Works for me. > > For me, too. But note that we should keep does the ultimate > type checker that first checks the declared presence of a role, > then falls back to a declared class inheritance and then falls > back to a declared emulation. What else should be in this check > sequence?
Do we need to consider boxed vs un-boxed, E.G. Int vs int? -- Mark Biggar [EMAIL PROTECTED] [EMAIL PROTECTED] [EMAIL PROTECTED]