<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div>Attached is the screen shot of the error report. </div><div><br></div><div><img height="71" width="818" apple-width="yes" apple-height="yes" id="a0291297-7112-4603-b80e-5df0ceceb516" src="cid:537150EA-5D98-4295-8BEA-327A3663FE97@ccs.neu.edu"></div><div><br></div><div><br></div><br><div><div>On Nov 18, 2014, at 11:54 AM, Matthias Felleisen <<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><br>On Nov 18, 2014, at 11:34 AM, Sam Tobin-Hochstadt <<a href="mailto:samth@cs.indiana.edu">samth@cs.indiana.edu</a>> wrote:<br><br><blockquote type="cite">On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen<br><<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>> wrote:<br><blockquote type="cite"><br>It's quite possible that this is Eli's bug again, but boy this causes headaches:<br><br><blockquote type="cite">Type Checker: parse error in type;<br>type variable must be used with ...<br> variable: Y in: Y<br></blockquote><br>And it points precisely to where Y is followed by ...<br></blockquote><br>The problem here is that you're using ->* without using the syntax of<br>->*. Fortunately, this program doesn't need ->* at all.<br><br>Unfortunately, I don't know how to make this function type check yet,<br>but I'll keep playing with it.<br></blockquote><br><br>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. <br>_________________________<br> Racket Developers list:<br> <a href="http://lists.racket-lang.org/dev">http://lists.racket-lang.org/dev</a><br></blockquote></div><br></body></html>