On Wed, Aug 1, 2012 at 9:47 AM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote:
> On Wednesday, August 1, 2012, Robby Findler wrote:
>>
>> On Wed, Aug 1, 2012 at 8:44 AM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu>
>> wrote:
>> >> The following have been deprecated and will be removed in the
>> >> August 2013 release:
>> >>
>> >>   - the `define-contract-struct' form. Use `struct' with `struct/dc'
>> >>     contracts instead.
>> >
>> > This entry surprises me.  Has it been discussed on the list?
>> > `define-contract-struct` has rather different semantics, right?
>>
>> What difference are you thinking of?
>
>
> `struct/dc` uses impersonators/chaperones to place contracts on the actual
> structure instances, whereas `define-contract-struct` wraps the
> accessor/constructor procedures, right?

No, that's wrong. struct/dc is like define-contract-struct. Check out
the docs or the IFL 2007 paper on my pubs web page.

Robby
_________________________
  Racket Developers list:
  http://lists.racket-lang.org/dev

Reply via email to