[racket-dev] drafting the v5.1 release announcement
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