[racket-dev] Machinery for eliding contracts

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon Jun 9 18:02:32 EDT 2014

On Mon, Jun 9, 2014 at 8:35 AM, Sam Tobin-Hochstadt
<samth at cs.indiana.edu> wrote:
> On Mon, Jun 9, 2014 at 5:48 AM, Robby Findler
> <robby at eecs.northwestern.edu> wrote:
>> Am I right that the contract on 'f' is actually (-> symbol? any)? And
>> if so, where is the information coming from that lets you elide the
>> check?
>
> No, the `(boxof symbol?)` contract has to be kept around because of mutability.

Ah, right. Thanks.

Robby

Posted on the dev mailing list.