added guilty-party

svn: r5783 original commit: 058bb56915d7a8eab4b0abe45f087f5a7ca489f3
2007-03-17 21:39:59 +00:00 · 2007-03-17 21:39:59 +00:00 · b32cf5a501
commit b32cf5a501
parent cec478ab11
1 changed files with 2 additions and 0 deletions
--- a/collects/tests/mzscheme/contract-test.ss
+++ b/collects/tests/mzscheme/contract-test.ss
@ -4890,6 +4890,8 @@ so that propagation occurs.
   (λ (x)
     (and (exn? x)
          (regexp-match #rx"on the-defined-variable4" (exn-message x)))))
+ 
+  (contract-eval `(,test 'pos guilty-party (with-handlers ((void values)) (contract not #t 'pos 'neg))))
  
  (report-errs)