From b32cf5a501f303c9f4730e48659c7d5d31d95e9e Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sat, 17 Mar 2007 21:39:59 +0000
Subject: [PATCH] added guilty-party

svn: r5783

original commit: 058bb56915d7a8eab4b0abe45f087f5a7ca489f3
---
 collects/tests/mzscheme/contract-test.ss | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss
index 42c628d..e85e42b 100644
--- 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)