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

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Tue Aug 3 09:05:16 EDT 2010

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

Posted on the dev mailing list.