[racket-dev] parse errors in types, poly-dots cause me headaches

On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen
<matthias at 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