[racket] applying polymorphic functions in TR

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.

Cheers,
Asumu