[racket] require/typed to a struct type

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Sat Feb 9 13:11:54 EST 2013

On Sat, Feb 9, 2013 at 1:03 PM, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
> BUT, I wonder whether there is a dual to contract-out, i.e., contract-in

That's what `require/contract` (implemented as part of Typed Racket
here: https://github.com/plt/racket/blob/master/collects/typed-racket/utils/require-contract.rkt)

It would be nice to provide this as part of a `require` macro, the way
that `contract-out` works, but I don't think that the `require`
extension API can support this.


Posted on the users mailing list.