[racket-dev] [plt] Push #28689: master branch updated

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Wed May 7 00:35:07 EDT 2014

On 2014-05-07 00:27:34 -0400, asumu at racket-lang.org wrote:
> f638247 Asumu Takikawa <asumu at racket-lang.org> 2014-04-28 17:17
> :
> | Add docs for TR's filter syntax
> :
>   M .../scribblings/reference/types.scrbl             | 69 +++++++++++++++-----

Since there's now documentation for the TR filter syntax, we should make
sure before (add1 v6.0.1) that we're ok with what's there. Then we can
also add support for printing the full filters when an option is

In particular, some of the documented syntax is currently broken (and
thus nobody could have used it), so it's a good opportunity to change it
if we want.


Posted on the dev mailing list.