On Oct 30, 2014, at 3:45 PM, Sam Tobin-Hochstadt <sa...@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"????? _________________________ Racket Developers list: http://lists.racket-lang.org/dev
