From 5e6360b2e38cad45d900e6cf9a33bcc507ba79ae Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Thu, 21 May 2009 15:51:46 +0000 Subject: [PATCH] Some updates to the deinprogramm tests: - use schemeunit from collects - tp-exn? is no more svn: r14898 --- collects/tests/deinprogramm/contract.ss | 2 +- collects/tests/deinprogramm/image.ss | 4 ++-- collects/tests/deinprogramm/run-contract-tests.ss | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/tests/deinprogramm/contract.ss b/collects/tests/deinprogramm/contract.ss index f450d55a38..2c405d3e78 100644 --- a/collects/tests/deinprogramm/contract.ss +++ b/collects/tests/deinprogramm/contract.ss @@ -2,7 +2,7 @@ (provide all-contract-tests) -(require (planet schematics/schemeunit:3) +(require schemeunit deinprogramm/contract/contract deinprogramm/contract/contract-syntax) diff --git a/collects/tests/deinprogramm/image.ss b/collects/tests/deinprogramm/image.ss index 41d41ab64e..bd11526c9c 100644 --- a/collects/tests/deinprogramm/image.ss +++ b/collects/tests/deinprogramm/image.ss @@ -2,7 +2,7 @@ (provide all-image-tests) -(require (planet schematics/schemeunit:3) +(require schemeunit deinprogramm/image (only-in lang/private/imageeq image=?) mred @@ -154,7 +154,7 @@ ;; c) has the right name. (define (tp-exn-pred name position) (lambda (exn) - (and (tp-exn? exn) + (and (exn:fail:contract? exn) (let* ([msg (exn-message exn)] [beg (format "~a:" name)] [len (string-length beg)]) diff --git a/collects/tests/deinprogramm/run-contract-tests.ss b/collects/tests/deinprogramm/run-contract-tests.ss index c375180247..524a79d1d0 100644 --- a/collects/tests/deinprogramm/run-contract-tests.ss +++ b/collects/tests/deinprogramm/run-contract-tests.ss @@ -1,6 +1,6 @@ #lang scheme/base -(require (planet schematics/schemeunit:3/text-ui)) +(require schemeunit/text-ui) (require tests/deinprogramm/contract) (run-tests all-contract-tests) \ No newline at end of file