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

fixed buggy test suite

Browse Source 
svn: r3998

original commit: 97e613ac54ec203d55862b6b784c01f084c1421b
This commit is contained in:
Robby Findler 2006-08-09 14:07:02 +00:00
parent db19d303d6
commit 0a34d6f098
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/tests/mzscheme/contract-test.ss
View File

@ -580,7 +580,7 @@
(test/neg-blame
'->r5
'((contract (->r ([x number?]) (<=/c x)) (lambda (x) (+ x 1)) 'pos 'neg) #f))
'((contract (->r ([x number?]) any) (lambda (x) (+ x 1)) 'pos 'neg) #f))
(test/pos-blame
'->r6
@ -620,7 +620,7 @@
(test/neg-blame
'->r15
'((contract (->r ([x number?]) rest any/c (<=/c x)) (lambda (x . y) (+ x 1)) 'pos 'neg) #f))
'((contract (->r ([x number?]) rest any/c any) (lambda (x . y) (+ x 1)) 'pos 'neg) #f))
(test/pos-blame
'->r16
@ -887,7 +887,7 @@
(test/neg-blame
'->r5
'((contract (->r ([x number?]) (<=/c x)) (lambda (x) (+ x 1)) 'pos 'neg) #f))
'((contract (->r ([x number?]) any) (lambda (x) (+ x 1)) 'pos 'neg) #f))
(test/pos-blame
'->r6
@ -927,7 +927,7 @@
(test/neg-blame
'->r15
'((contract (->r ([x number?]) rest any/c (<=/c x)) (lambda (x . y) (+ x 1)) 'pos 'neg) #f))
'((contract (->r ([x number?]) rest any/c any) (lambda (x . y) (+ x 1)) 'pos 'neg) #f))
(test/pos-blame
'->r16