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

Fixing these back up to how they were before.

Browse Source 
svn: r13123
This commit is contained in:
Stevie Strickland 2009-01-14 21:31:46 +00:00
parent 8ef9977f57
commit d3f703b043
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
collects/tests/mzscheme/contract-mzlib-test.ss
View File

@ -103,8 +103,8 @@ of the contract library does not change over time.
(and (exn? exn) (and (exn? exn)
(,has-proper-blame? (exn-message exn)))))))))) (,has-proper-blame? (exn-message exn))))))))))
(define (test/pos-blame name expression) (test/spec-failed name expression "module pos")) (define (test/pos-blame name expression) (test/spec-failed name expression "pos"))
(define (test/neg-blame name expression) (test/spec-failed name expression "module neg")) (define (test/neg-blame name expression) (test/spec-failed name expression "neg"))
(define (test/well-formed stx) (define (test/well-formed stx)
(contract-eval (contract-eval
@ -126,7 +126,7 @@ of the contract library does not change over time.
(contract-eval `(,test #t flat-contract? ,contract)) (contract-eval `(,test #t flat-contract? ,contract))
(test/spec-failed (format "~a fail" name) (test/spec-failed (format "~a fail" name)
`(contract ,contract ',fail 'pos 'neg) `(contract ,contract ',fail 'pos 'neg)
"module pos") "pos")
(test/spec-passed/result (test/spec-passed/result
(format "~a pass" name) (format "~a pass" name)
`(contract ,contract ',pass 'pos 'neg) `(contract ,contract ',pass 'pos 'neg)
@ -1577,14 +1577,14 @@ of the contract library does not change over time.
'(let () '(let ()
(define/contract i integer? #t) (define/contract i integer? #t)
i) i)
"definition i") "i")
(test/spec-failed (test/spec-failed
'define/contract3 'define/contract3
'(let () '(let ()
(define/contract i (-> integer? integer?) (lambda (x) #t)) (define/contract i (-> integer? integer?) (lambda (x) #t))
(i 1)) (i 1))
"definition i") "i")
(test/spec-failed (test/spec-failed
'define/contract4 'define/contract4
@ -4643,7 +4643,7 @@ so that propagation occurs.
(provide/contract (x integer?)))) (provide/contract (x integer?))))
(eval '(require 'contract-test-suite3)) (eval '(require 'contract-test-suite3))
(eval 'x)) (eval 'x))
"module 'contract-test-suite3") "'contract-test-suite3")
(test/spec-passed (test/spec-passed
'provide/contract4 'provide/contract4
@ -4820,7 +4820,7 @@ so that propagation occurs.
(make-s 1 2) (make-s 1 2)
[s-a #f]))) [s-a #f])))
(eval '(require 'pc11b-n))) (eval '(require 'pc11b-n)))
"module 'n") "'n")
|# |#
(test/spec-passed (test/spec-passed
@ -4888,7 +4888,7 @@ so that propagation occurs.
(define i #f) (define i #f)
(provide/contract [i integer?]))) (provide/contract [i integer?])))
(eval '(require 'pos))) (eval '(require 'pos)))
"module 'pos") "'pos")
;; this is really a positive violation, but name the module `neg' just for an addl test ;; this is really a positive violation, but name the module `neg' just for an addl test
(test/spec-failed (test/spec-failed
@ -4899,7 +4899,7 @@ so that propagation occurs.
(define i #f) (define i #f)
(provide/contract [i integer?]))) (provide/contract [i integer?])))
(eval '(require 'neg))) (eval '(require 'neg)))
"module 'neg") "'neg")
;; this test doesn't pass yet ... waiting for support from define-struct ;; this test doesn't pass yet ... waiting for support from define-struct