[racket] Typed Racket - More Poly Type Checking

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Fri Jul 27 15:24:11 EDT 2012

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

Posted on the users mailing list.