[racket-dev] Release Announcement for v6.1.1, Second Draft

Sam: can you elaborate on precisely what the hole was? In particular,
if there are any safe programs that the type system now rejects, I'd
be in favor of a slightly different wording.

Robby

On Wed, Oct 29, 2014 at 2:35 PM, Sam Tobin-Hochstadt
<samth at cs.indiana.edu> wrote:
> On Wed, Oct 29, 2014 at 3:30 PM, Ryan Culpepper <ryanc at ccs.neu.edu> wrote:
>>
>> * Exception handling changed to be safe. This may break existing
>>   programs that rely on unsafe behavior.
>>
>> * Casts and predicates are supported in typed regions.
>
> I think these two bullets (esp the first one) need to make clear that
> they're about Typed Racket.
>
> How about:
>
> * Typed Racket's rules for exception handlers are now more
> restrictive, as required for safety. This may cause type errors for
> existing programs that rely on unsafe behavior.
> * Typed Racket now supports casts and predicates in typed regions.
>
> Sam
> _________________________
>   Racket Developers list:
>   http://lists.racket-lang.org/dev