On 24 February 2015 at 14:34, Matt Oliveri <[email protected]> wrote: > > You can't just say "it's just a type checking thing" and expect an > implementation to appear. You need to say how to implement it. Your > subtyping allows strictly more programs than instantiation of > arity-abstract types does. You need to make those work.
Can you give me an example where you think the subtyping admits a type that arity-abstract types do not? If you believe there is a difference, you should be able to provide an example. Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
