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 <sa...@cs.indiana.edu> wrote: > On Wed, Oct 29, 2014 at 3:30 PM, Ryan Culpepper <ry...@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 _________________________ Racket Developers list: http://lists.racket-lang.org/dev