[racket-dev] [plt] Push #23053: master branch updated

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon Jul 18 08:59:35 EDT 2011

Oh, I see. Yes, indeed, the whole test suite was broken. I've pushed
fixes for it and for the things that weren't caught by the old test
suite.

Thanks,
Robby

On Sun, Jul 17, 2011 at 8:27 AM, Casey Klein
<clklein at eecs.northwestern.edu> wrote:
> Here's what I tried:
>
> 1. I added this test, which should fail for identifying the wrong party:
>
>  (test/neg-blame
>   'contract-arrow-wrong-number-values
>   '((contract (-> integer? (values integer? integer?))
>               (lambda (x) (values 1))
>               'pos
>               'neg)
>     1))
>
> 2. From the directory containing contract-test.rktl, I ran:
>
> $ racket
> Welcome to Racket v5.1.2.3.
>> (load "contract-test.rktl")
>
> and got this message:
>
> Passed all tests.
> (Other messages report successful tests of error-handling behavior.)
>
> Those other messages contain this output for the new test:
>
> testing: contract-arrow-wrong-number-values
> ((contract (-> integer? (values integer? integer?)) (lambda (x)
> (values 1)) (quote pos) (quote neg)) 1)  =e=> exception raised by
> exception handler: test/spec-failed: unknown blame name "neg";
> original exception raised: self-contract violation: expected 2 values,
> returned 1 value
>  contract from: pos, blaming: pos
>  contract:
>    (-> integer? (values integer? integer?))
>



Posted on the dev mailing list.