[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


Posted on the dev mailing list.