[racket-dev] Motivation for polymorphic opaque types

On Sun, Jan 6, 2013 at 2:18 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu>wrote:

> > The boundaries have the information; that's how the contracts got
> inserted
> > in the first place.
>
> No, the contracts are parametric contracts using `parametric->/c`, and
> thus don't have any information about the types used at all.
>

I don't see why you can't tag them when something at a boundary and then
check that something at another boundary instead of doing some deep check.

But whatever.

Robby
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130106/70bbd1a2/attachment.html>