On Mon, Jan 30, 2012 at 3:22 PM, John Clements <cleme...@brinckerhoff.org> 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 sa...@ccs.neu.edu ____________________ Racket Users list: http://lists.racket-lang.org/users
