<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "> <div><br></div><div>Wrong!!!! This will disable other things. </div><div><br></div><br><div><div>On Apr 5, 2009, at 12:34 PM, Mitchell Wand wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div class="gmail_quote">On Sat, Apr 4, 2009 at 3:57 PM, Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> I'm not sure, but it looks like that is a buggy error check. You might<br> try changing the 1 to a 2 in collects/2htdp/universe.ss and seeing<br> what happens. (Search for "(define-keywords AllSpec" and go down two<br> lines, I think.)<br> <br> Robby<br> <div><div></div><div class="h5"><br> </div></div></blockquote></div><br>Yup, that was it, but it wasn't the obvious occurrence of 1. The correct patch is as follows:<br><br>(define-keywords AllSpec<br> [on-tick (function-with-arity<br> 1 <br> except<br> [(x rate) <br> #'(list (proc> 'on-tick (f2h x) 2) ; last arg was 1<br> (num> 'on-tick rate positive? "pos. number" "rate"))])])<br> <br>Changing the number on line 3 doesn't do anything, but changing the one in the line that says proc> does the trick.<br><br>Perhaps somebody can install this patch?<br><br>--Mitch<br><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">_________________________________________________</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span class="Apple-converted-space"> </span>For list-related administrative tasks:</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span class="Apple-converted-space"> </span><a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a></div> </blockquote></div><br></body></html>