[racket-dev] using 'sort' in typed/racket?

From: John Clements (clements at brinckerhoff.org)
Date: Sat Aug 20 12:08:37 EDT 2011

On Aug 20, 2011, at 12:06 PM, Carl Eastlund wrote:

> Have you tried using "inst" instead of "ann"?  Telling TR what to fill
> in for a and b will probably be more helpful to it.

Yay! Many thanks. 

John

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4624 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20110820/213e0d9e/attachment.p7s>

Posted on the dev mailing list.