[racket] applying polymorphic functions in TR

From: Bloch Stephen (bloch at adelphi.edu)
Date: Sun Feb 16 15:14:39 EST 2014

On Feb 16, 2014, at 11:38 AM, Asumu Takikawa wrote:

> 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.

Have I ever mentioned that this community is amazing?  I ask a question at 10 AM on a Sunday.  In an hour and 15 minutes I have two answers, and half an hour after that there's a fix in the source code.


Stephen Bloch
sbloch at adelphi.edu
GPG  key at http://adelphi.edu/sbloch/sbloch.pubkey.asc

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140216/f6da9815/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 495 bytes
Desc: This is a digitally signed message part
URL: <http://lists.racket-lang.org/users/archive/attachments/20140216/f6da9815/attachment.sig>

Posted on the users mailing list.