[racket] sort in typed racket

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Mon Feb 21 15:54:40 EST 2011

On Mon, Feb 21, 2011 at 3:37 PM, Danny Yoo <dyoo at cs.wpi.edu> wrote:
> : Type Checker: Inference for polymorphic keyword functions not
> supported in: (sort (quote (hello world)) #:key symbol->string
> string<?)
> Is there something else I'm missing here?

No, there's nothing you're missing.  This error message is giving you
the whole story -- to use polymorphic keyword functions, you have to
explicitly instantiate them, because inference is not supported.  The
other error message is problematic; we'll fix it.
sam th
samth at ccs.neu.edu

Posted on the users mailing list.