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

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Tue Nov 18 11:56:41 EST 2014

Attached is the screen shot of the error report. 

On Nov 18, 2014, at 11:54 AM, Matthias Felleisen <matthias at ccs.neu.edu> wrote:

> On Nov 18, 2014, at 11:34 AM, Sam Tobin-Hochstadt <samth at cs.indiana.edu> wrote:
>> 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.
> Are you blaming the victim here? Please run what I send out and experience how the type checker barfs on you. This is a bug report. 
> _________________________
>  Racket Developers list:
>  http://lists.racket-lang.org/dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20141118/e5ff76fc/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2014-11-18 at 11.56.02 AM.png
Type: image/png
Size: 21477 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20141118/e5ff76fc/attachment-0001.png>

Posted on the dev mailing list.