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 _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
