On Wed, Jan 8, 2014 at 5:07 PM, William ML Leslie < [email protected]> wrote:
> It looks a bit like the real distinction is not the interface or > instance definition at all, but about whether a function will treat > the instance as a compile-time constant argument or accept a vtable as > an argument at runtime. In a type system that does not admit prescriptively unboxed types, and in a runtime where unconstrained indirection is acceptable, this would be true. In a type system that *does* admit prescriptively unboxed types, but can constrain the lifetimes of interfaces, this would be "true enough". In a type system that admits prescriptively unboxed types and cannot guarantee interface instance lifespan subtyping, this is a mess. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
