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