From f2b0445595076df37ef766983a42fd8e884a619e Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 13 Jul 2006 19:29:04 +0000 Subject: [PATCH] fixed PR 8166 svn: r3701 original commit: 73ce86e94bf9b7f572475bfb2180789bdfca6d48 --- collects/tests/mzscheme/contract-test.ss | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss index 154d6fe..c4fa5bb 100644 --- a/collects/tests/mzscheme/contract-test.ss +++ b/collects/tests/mzscheme/contract-test.ss @@ -4509,6 +4509,16 @@ (eval '(require neg)))) + (error-test + #'(parameterize ([current-namespace (make-namespace)]) + (eval '(module bug mzscheme + (require (lib "contract.ss")) + (define the-defined-variable 'five) + (provide/contract [the-defined-variable number?]))) + (eval '(require bug))) + (λ (x) + (and (exn? x) + (regexp-match #rx"on the-defined-variable" (exn-message x)))))