[racket] sort in typed racket

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