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 _________________________ Racket Developers list: http://lists.racket-lang.org/dev