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

I like the last sentence of Sam's latest bullet.

Robby

On Thursday, October 30, 2014, Matthias Felleisen <matthias at ccs.neu.edu>
wrote:

>
> On Oct 30, 2014, at 3:45 PM, Sam Tobin-Hochstadt <samth at cs.indiana.edu
> <javascript:;>> 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"?????
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20141030/683866ad/attachment.html>