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