Thanks for looking at it.<div><br></div><div>Opened bug <a href="http://bugs.racket-lang.org/query/?cmd=view&pr=12945">http://bugs.racket-lang.org/query/?cmd=view&pr=12945</a></div><div><br><div class="gmail_quote"> On Fri, Jul 27, 2012 at 3:24 PM, 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"> Sorry for not getting back to this sooner. This looks like a bug to me.<br> <br> Note that you don't have to instantiate it with `Integer`, you can<br> also write a polymorphic version but keep the explicit instantiation<br> in the body.<br> <div><div class="h5"><br> On Sat, Jul 21, 2012 at 12:56 PM, Ray Racine <<a href="mailto:ray.racine@gmail.com">ray.racine@gmail.com</a>> wrote:<br> > In the following gist the 'seq' procedure is a combinator of 2 Iteratee's to<br> > a single Iteratee.<br> > The 'drop1keep1Int' procedure explicitly instantiates the type vars as<br> > Integer and works fine. (Drops the first element, returns head element,<br> > given a (Listof Integer))<br> > However inferencing for the poly version 'drop1keep1Poly' fails when I think<br> > it should be ok.<br> ><br> > <a href="https://gist.github.com/3156946" target="_blank">https://gist.github.com/3156946</a><br> ><br> > If you agree, I'll open a bug report. Thanks for looking at it.<br> ><br> > Ray<br> ><br> </div></div>> ____________________<br> > Racket Users list:<br> > <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br> ><br> <span class="HOEnZb"><font color="#888888"><br> <br> <br> --<br> sam th<br> <a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a><br> </font></span></blockquote></div><br></div>