suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Some updates to the deinprogramm tests:

Browse Source 
- use schemeunit from collects
- tp-exn? is no more

svn: r14898
This commit is contained in:
Mike Sperber 2009-05-21 15:51:46 +00:00
parent 76c743c5e6
commit 5e6360b2e3
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/deinprogramm/contract.ss
View File

@ -2,7 +2,7 @@
(provide all-contract-tests) (provide all-contract-tests)
(require (planet schematics/schemeunit:3) (require schemeunit
deinprogramm/contract/contract deinprogramm/contract/contract
deinprogramm/contract/contract-syntax) deinprogramm/contract/contract-syntax)

4
collects/tests/deinprogramm/image.ss
View File

@ -2,7 +2,7 @@
(provide all-image-tests) (provide all-image-tests)
(require (planet schematics/schemeunit:3) (require schemeunit
deinprogramm/image deinprogramm/image
(only-in lang/private/imageeq image=?) (only-in lang/private/imageeq image=?)
mred mred
@ -154,7 +154,7 @@
;; c) has the right name. ;; c) has the right name.
(define (tp-exn-pred name position) (define (tp-exn-pred name position)
(lambda (exn) (lambda (exn)
(and (tp-exn? exn) (and (exn:fail:contract? exn)
(let* ([msg (exn-message exn)] (let* ([msg (exn-message exn)]
[beg (format "~a:" name)] [beg (format "~a:" name)]
[len (string-length beg)]) [len (string-length beg)])

2
collects/tests/deinprogramm/run-contract-tests.ss
View File

@ -1,6 +1,6 @@
#lang scheme/base #lang scheme/base
(require (planet schematics/schemeunit:3/text-ui)) (require schemeunit/text-ui)
(require tests/deinprogramm/contract) (require tests/deinprogramm/contract)
(run-tests all-contract-tests) (run-tests all-contract-tests)