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

On Aug 3, 2010, at 3:08 AM, Michael Sperber wrote:

> 
> Matthias Felleisen <matthias at ccs.neu.edu> writes:
> 
>> works in Beginner. It turns out however that even the German docs are
>> broken. I should have explored more when Mike merged this in. Then
>> again, I doubt we will have many Americans reading these docs.
> 
> What's broken?

I found two things so far: 

1. the basic signatures are lowercase in the docs, but are uppercase for real. 

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


(: f (Integer -> Integer))
(define (f x) x)
(f "hello") ;; in Defs: violation of signature 

;; in REPL: returns "hello"

The biggest flaw is mine. The code is in the base but there's no documentation. 

-- Matthias