((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPackagesCommunityLearning

[racket-dev] Problem with Values type constructor

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Mon Jul 28 12:25:55 EDT 2014		 
On 2014-07-23 20:20:56 +0100, Antonio Menezes Leitao wrote:
>    Although the typed racket documentation mentions Values as a type
>    constructor, it does not work:
>
>    [...]
>
>    Am I missing something?

Nope, this is just a bug. Thanks for the report. I've pushed a fix to
git.

Cheers,
Asumu
Posted on the dev mailing list.