[racket] Typed Racket - Parameterized Structures

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Wed Mar 14 10:27:59 EDT 2012

On Mar 14, 2012, at 8:28 AM, Sam Tobin-Hochstadt wrote:

> 1. You added `All' in the type parameter list for `struct:'.  You
> don't need that there, and instead it was adding a third type
> parameter to `Cvt'.

Perhaps All shouldn't be allowed there. 

Posted on the users mailing list.