[racket] Typed Racket - More Poly Type Checking

From: Ray Racine (ray.racine at gmail.com)
Date: Sat Jul 21 15:56:09 EDT 2012

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.


If you agree, I'll open a bug report.  Thanks for looking at it.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20120721/113a5f6b/attachment.html>

Posted on the users mailing list.