Typed Racket

Stevie Strickland a8a55f440a * Should have used star (bound in syntax-case), not just * in type-of-formals ... * I'm pretty sure ann should never get a starred or dotted type, since those can't appear outside of an arrow context. original commit: 4010a39c2d177f56c79ca561f02b00bc082d9bdd		2008-06-18 12:57:52 -04:00
collects	* Should have used star (bound in syntax-case), not just * in type-of-formals	2008-06-18 12:57:52 -04:00