On 24 February 2015 at 15:07, Matt Oliveri <[email protected]> wrote:
> You mean admits a program? That's very easy. The basic problem with > subtyping that it admits coercions: > > upcast1_1to2 (f : fn 1 a->fn 1 b->c) : fn 2 a->b->c = f > Hmm but this coercion is safe, as all we are doing is this: upcast1_1to2 f x y = (f x) y Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
