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 _________________________ Racket Developers list: http://lists.racket-lang.org/dev
