[racket] Typed Racket - More Poly Type Checking

Thanks for looking at it.

Opened bug http://bugs.racket-lang.org/query/?cmd=view&pr=12945

On Fri, Jul 27, 2012 at 3:24 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu>wrote:

> Sorry for not getting back to this sooner.  This looks like a bug to me.
>
> Note that you don't have to instantiate it with `Integer`, you can
> also write a polymorphic version but keep the explicit instantiation
> in the body.
>
> On Sat, Jul 21, 2012 at 12:56 PM, Ray Racine <ray.racine at gmail.com> wrote:
> > In the following gist the 'seq' procedure is a combinator of 2
> Iteratee's to
> > a single Iteratee.
> > The 'drop1keep1Int' procedure explicitly instantiates the type vars as
> > Integer and works fine. (Drops the first element, returns head element,
> > given a (Listof Integer))
> > However inferencing for the poly version 'drop1keep1Poly' fails when I
> think
> > it should be ok.
> >
> > https://gist.github.com/3156946
> >
> > If you agree, I'll open a bug report.  Thanks for looking at it.
> >
> > Ray
> >
> > ____________________
> >   Racket Users list:
> >   http://lists.racket-lang.org/users
> >
>
>
>
> --
> sam th
> samth at ccs.neu.edu
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20120727/99ff790b/attachment.html>