I am adding contracts to one of my libraries using the ->i combinator and using the pre-condition expression. The problem I have is that if I return false, the contract library just tells me that the precondition failed. Is there any mechanism to attach more information so that I can explain why the precondition failed?
-Eric _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
