[racket] Typed Racket - Parameterized Structures

On Wed, Mar 14, 2012 at 10:27 AM, Matthias Felleisen
<matthias at ccs.neu.edu> wrote:
>
> 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.

I thought of that as well, but we don't normally restrict binding
names in Racket.  For example, this is a perfectly good replacement
for `list':

(lambda lambda lambda)

:)
-- 
sam th
samth at ccs.neu.edu