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

On Oct 30, 2014, at 3:45 PM, Sam Tobin-Hochstadt <samth at cs.indiana.edu> wrote:

>> 
>> How about this one? (Starting from Matthias's offering and editing the
>> apology from Sam's a bit.)
>> 
>> Typed Racket closes a safety hole in the typing for the
>>  exception system. The revised type system restricts raise so
>>  that only instances of the exn structure type and flat data
>>  are communicated to handlers. As a side-effect, previously
>>  well-typed programs may fail to typecheck.
> 
> How about:
> 
> Typed Racket now checks uses of the exception system more strictly,
> eliminating safety bugs. The revised type system restricts raise so
>  that only instances of the exn structure type and flat data
>  are communicated to handlers, and enforces that exception handlers
> deal with all possible arguments. As a side-effect, previously
>  well-typed programs may fail to typecheck.


Can we please, pretty please, pretty please, pretty please drop these "nows"?????