[racket] Contract error messages with ->i

From: Eric Dobson (endobson at cs.brown.edu)
Date: Tue Feb 22 19:05:41 EST 2011

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?


Posted on the users mailing list.