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

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Tue Aug 3 10:29:53 EDT 2010

The repl bug is a general bug that requires a 
systematic change to things. It also hurts 
Typed Racket and other things. 

On Aug 3, 2010, at 10:01 AM, Michael Sperber wrote:

> 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.