On Mon, Jan 30, 2012 at 3:22 PM, John Clements <[email protected]> wrote: > Am I missing something obvious in either of these?
No. Typed Racket doesn't have type subtraction, which is what you need in the first case. I'm not sure why the second case isn't working right; I think the type of `filter' is a little too restrictive. -- sam th [email protected] ____________________ Racket Users list: http://lists.racket-lang.org/users
