[racket] Contract error messages with ->i

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

I was thinking a string. I just want the ability to specify which
invariant that the precondition was checking was broken.


On Tue, Feb 22, 2011 at 7:13 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> Not currently, no. What kind of information did you have in mind?
> Robby
> On Tue, Feb 22, 2011 at 6:05 PM, Eric Dobson <endobson at cs.brown.edu> wrote:
>> 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

Posted on the users mailing list.