[racket-dev] Purpose of typed/racket/no-check

I have proposed that before and I support it. Please do it! 


On Mar 31, 2013, at 5:44 PM, Eric Dobson wrote:

> 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