I like the last sentence of Sam's latest bullet. Robby
On Thursday, October 30, 2014, Matthias Felleisen <matth...@ccs.neu.edu> wrote: > > On Oct 30, 2014, at 3:45 PM, Sam Tobin-Hochstadt <sa...@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"?????
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
