Typed Racket
Go to file
Asumu Takikawa b7bda1e282 Check with-handlers better in TR
Now checks that a predicate and handler in the same clause
are consistent (using the filter on the predicate).

Closes PR 13950
Closes PR 14641

original commit: 41175d74bee9bdadf8ecda552fc097773ab30ce5
2014-07-25 18:31:10 -04:00
pkgs/typed-racket-pkgs Check with-handlers better in TR 2014-07-25 18:31:10 -04:00