in theory only the "top level" things should validate. by which i mean those things which get input from something other than your own code.
the problem is when you re-work the code, do you know for sure that you moved the contract/assertion/validation/checking appropriately. test coverage can help there, in the absence of some AI looking over your shoulder for you. ____________________ Racket Users list: http://lists.racket-lang.org/users
