[racket] applying polymorphic functions in TR

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Sun Feb 16 11:38:23 EST 2014

On 2014-02-16 11:03:34 -0500, Asumu Takikawa wrote:
> It would be nice if inference were smart enough so that this worked:
>   (time-apply (lambda: ([x : Integer] [y : Integer]) "foo") '(1 2))

I just pushed a fix to HEAD that makes type inference work for this example.
Should also help other functions that have (List a ... a) as an argument type.


Posted on the users mailing list.