[racket] Typed racket and sort

From: Vincent St-Amour (stamourv at ccs.neu.edu)
Date: Wed Aug 3 17:48:57 EDT 2011

At Wed, 03 Aug 2011 15:17:25 -0400,
Vincent St-Amour wrote:
> > Type Checker: Cannot apply expression of type (All (a b)
> > (case-lambda ((Listof a) (a a -> Boolean) [#:cache-keys? Boolean] ->
> > (Listof a)) ((Listof a) (b b -> Boolean) [#:cache-keys? Boolean]
> > #:key (a -> b) -> (Listof a)))), since it is not a function type in:
> > (sort ss string<?)
> > 
> > I'm a little perplexed -- could anyone unpack this for me?
> I agree that the error message is really bad. I'll look into
> it. There's not really anything to explain, since the error message is
> just flat out wrong.

I changed the error message to be more informative. I'll push once all
the tests pass.


Posted on the users mailing list.