[racket-dev] Release Announcement for v5.0.1 -- final version

From: Michael Sperber (sperber at deinprogramm.de)
Date: Tue Aug 3 10:01:59 EDT 2010

Matthias Felleisen <matthias at ccs.neu.edu> writes:

> I found two things so far: 
> 1. the basic signatures are lowercase in the docs, but are uppercase
>    for real.

They are lowercase in the docs because they're lower-case in the DMdA
languages.  They're only uppercase in the HtDP languages.  (You may
remember that we discussed this.)

> 2. When you restrict a function with a signature, you can still
>    misapply it in the REPL:

Yes - it is exactly the same as with check-expect.  (And, once it's
fixed with check-expect, it'll magically be fixed with signatures.)  I
don't know how to fix this, unfortunately.

This, and the other minor issues (some error messages; coverage for
struct signatures) seem like good subjects for a mini hack-a-thon at
ICFP - we haven't gotten very far by e-mail.

Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla

Posted on the dev mailing list.