[racket-dev] drafting the v5.1 release announcement

From: Stevie Strickland (sstrickl at ccs.neu.edu)
Date: Thu Feb 10 15:05:37 EST 2011

On Feb 9, 2011, at 4:28 PM, Jon Rafkind wrote:
> Stevie:
> a04b8d989936e64e29d2ae123da39159c2cdf2e6
>    Change instanceof/c to allow more contracts.
> 
>    Now instanceof/c no longer checks explicitly for a class/c contract, so
>    or/c or and/c of class/c contracts succeed.
> 92775c5e4ee55986da9fec18a171c59b8fb4f64f
>    Add instanceof.
> 
>    The instanceof contract combinator takes a class contract.  The
> resulting
>    contract protects objects using the external field and method contracts
>    in the class contract.
> 0c4658f718ad9a4d5b857c06785650247316d705
>    Conversion of -> to impersonators.

I don't think any of these are important enough to go into a release announcement.  One's a (very minor) contract combinator addition and the other is pretty much just details of the particular implementation.

Stevie


Posted on the dev mailing list.