There have been a couple recent bug reports because certain features need a type, such as cast and define-predicate.
I was wondering whether TR/no-check should check that the types are well formed, but not check that the expressions are well typed? I'm thinking this would be less surprising to users, but wondering whether users would expect that type definition errors to still work in TR/no-check. _________________________ Racket Developers list: http://lists.racket-lang.org/dev