Here <a href="https://gist.github.com/3315984">https://gist.github.com/3315984</a><div><br></div><div>The first (test1) works fine. Note it uses a KW arg.</div><div><br></div><div>However, (test2) fails. I thought it was the complexity of the first arg that I was getting wrong. But when the KW #:label is commented out it works fine.</div> <div><br></div><div>Thanks in advance for looking at it</div><div><br></div><div>Ray<br><br><div class="gmail_quote">On Fri, Aug 10, 2012 at 10:59 AM, Ray Racine <span dir="ltr"><<a href="mailto:ray.racine@gmail.com" target="_blank">ray.racine@gmail.com</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Thank you. <div><br></div><div>Whatever seed typing work I do for Plot will be up on my github in a Racket clone under collects/typed/plot. Shortly.</div> <span class="HOEnZb"><font color="#888888"><div><br></div><div>Ray</div></font></span><div class="HOEnZb"><div class="h5"><div><br></div><div><br><br><div class="gmail_quote"> On Fri, Aug 10, 2012 at 10:29 AM, Sam Tobin-Hochstadt <span dir="ltr"><<a href="mailto:samth@ccs.neu.edu" target="_blank">samth@ccs.neu.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> <div>On Fri, Aug 10, 2012 at 10:21 AM, Ray Racine <<a href="mailto:ray.racine@gmail.com" target="_blank">ray.racine@gmail.com</a>> wrote:<br> > Removal of the extra case, shifts the bug. It now type checks fine, but<br> > when you instantiate (run) the module it blows up with a bountiful error<br> > message.<br> <br> </div>This is a bug; I'll push a fix shortly.<br> <span><font color="#888888"><br> --<br> sam th<br> <a href="mailto:samth@ccs.neu.edu" target="_blank">samth@ccs.neu.edu</a><br> </font></span></blockquote></div><br></div> </div></div></blockquote></div><br></div>