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

From: Sam Tobin-Hochstadt (samth at cs.indiana.edu)
Date: Tue Nov 18 11:34:27 EST 2014

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.


Posted on the dev mailing list.