On Sun, Jan 6, 2013 at 2:18 PM, Sam Tobin-Hochstadt <sa...@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
_________________________
  Racket Developers list:
  http://lists.racket-lang.org/dev

Reply via email to