On Wed, Jul 2, 2014 at 11:56 AM, Jonathan S. Shapiro <[email protected]> wrote: > One more time: wrapping is interfaces. If not, please explain the > difference.
Yes, I get it now. > Note that with interfaces, downcast actually isn't the correct term, because > the object is not a subtype of the interface type. I agree. You threw me off by calling it a downcast. You seem to think unconstrained downcast is universally a bad idea, but I don't, so it's important to me not to confuse downcast and unwrapping. > Remember that I'm embedding the guard test in the > type check, not in a call. Oh, _only_ the type check, OK. But wait, then how does this help with unsealing, which generally entails a runtime test? _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
