<div dir="ltr">Hi all,<br><br>I'm trying to rename some types in typed/racket but something odd is happening:<br><br><div>(define-type A Listof)<br><br>works but:</div><div><br></div><div>(define-type B List)<br><br>errors with "Type Checker: parse error in type; type name `List' is unbound in: List"<br>
<br>Is this a bug or am I missing something?<br><br>--Spencer</div></div>