On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen <matth...@ccs.neu.edu> wrote: > > It's quite possible that this is Eli's bug again, but boy this causes > headaches: > >> Type Checker: parse error in type; >> type variable must be used with ... >> variable: Y in: Y > > And it points precisely to where Y is followed by ...
The problem here is that you're using ->* without using the syntax of ->*. Fortunately, this program doesn't need ->* at all. Unfortunately, I don't know how to make this function type check yet, but I'll keep playing with it. Sam _________________________ Racket Developers list: http://lists.racket-lang.org/dev