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 sbl...@adelphi.edu GPG key at http://adelphi.edu/sbloch/sbloch.pubkey.asc
PGP.sig
Description: This is a digitally signed message part
____________________ Racket Users list: http://lists.racket-lang.org/users
