[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.