[racket-dev] Machinery for eliding contracts

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