Thanks for looking at it.<div><br></div><div>Opened bug <a href="http://bugs.racket-lang.org/query/?cmd=view&amp;pr=12945">http://bugs.racket-lang.org/query/?cmd=view&amp;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">&lt;<a href="mailto:samth@ccs.neu.edu" target="_blank">samth@ccs.neu.edu</a>&gt;</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&#39;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 &lt;<a href="mailto:ray.racine@gmail.com">ray.racine@gmail.com</a>&gt; wrote:<br>
&gt; In the following gist the &#39;seq&#39; procedure is a combinator of 2 Iteratee&#39;s to<br>
&gt; a single Iteratee.<br>
&gt; The &#39;drop1keep1Int&#39; procedure explicitly instantiates the type vars as<br>
&gt; Integer and works fine. (Drops the first element, returns head element,<br>
&gt; given a (Listof Integer))<br>
&gt; However inferencing for the poly version &#39;drop1keep1Poly&#39; fails when I think<br>
&gt; it should be ok.<br>
&gt;<br>
&gt; <a href="https://gist.github.com/3156946" target="_blank">https://gist.github.com/3156946</a><br>
&gt;<br>
&gt; If you agree, I&#39;ll open a bug report.  Thanks for looking at it.<br>
&gt;<br>
&gt; Ray<br>
&gt;<br>
</div></div>&gt; ____________________<br>
&gt;   Racket Users list:<br>
&gt;   <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
&gt;<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>