[racket] TR Keyword Args (Lil Help)

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Fri Aug 10 10:22:30 EDT 2012

On Fri, Aug 10, 2012 at 3:12 AM, Eric Dobson <eric.n.dobson at gmail.com> wrote:
> It looks like there is an issue with turning case lambdas with
> keywords into a contract. If you drop the one argument case for
> function, it should work.

Unfortunately, the `case->` contract combinator that Typed Racket
relies on doesn't support keyword arguments, so it's very difficult to
generate an appropriate contract here.

sam th
samth at ccs.neu.edu

Posted on the users mailing list.