[racket] has contract-out been renamed?

Thanks greatly for the quick response.

By the way, the documentation in 7.5.2 says,

"This module exports the entire structure definition: posn, posn?,
posn-x, posn-y, set-posn-x!, and set-posn-y!."

but structs no longer define mutators by default.

--Dan

On Wed, Nov 30, 2011 at 10:18 AM, Carl Eastlund <cce at ccs.neu.edu> wrote:
> On Wed, Nov 30, 2011 at 1:09 PM, Dan Grossman <djg at cs.washington.edu> wrote:
>> DrRacket version 5.1.3:
>>
>> file contents:
>>
>> #lang racket
>> (provide (contract-out (x integer?)))
>> (define x 3)
>>
>> run result:
>>
>> contract-out: not a provide sub-form in: (contract-out (x integer?))
>>
>> Do I need to upgrade to 5.2?
>
> Yes, contract-out did not exist before 5.2.
>
>> (I'm following the documentation at
>> http://docs.racket-lang.org/guide/contract-boundaries.html.)
>>
>> Thanks!
>>
>> --Dan