On Mon, Jun 9, 2014 at 8:35 AM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote: > On Mon, Jun 9, 2014 at 5:48 AM, Robby Findler > <ro...@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 _________________________ Racket Developers list: http://lists.racket-lang.org/dev