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

..

Browse Source 
original commit: 6c528325b02c3f03ad7b2968043d18f4e5734043
This commit is contained in:
Robby Findler 2002-08-18 20:11:22 +00:00
parent 8042a25649
commit f3c316ab57
1 changed files with 10 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
collects/tests/mzscheme/contracts.ss
View File

@ -10,7 +10,7 @@
(define (test/spec-passed name expression)
(test 'passed
eval
`(begin ,expression 'passed)))
`(let () ,expression 'passed)))
;; test/spec-failed : symbol sexp string -> void
;; tests a failing specification with blame assigned to `blame'
@ -221,13 +221,15 @@
(test/spec-passed
'contract-arrow-star-d2
'((contract (->d* (integer?) (lambda (arg)
(values (lambda (res) (= arg res))
(lambda (res) (= arg res)))))
(lambda (x) (values x x))
'pos
'neg)
1))
'(let-values ([(a b)
((contract (->d* (integer?) (lambda (arg)
(values (lambda (res) (= arg res))
(lambda (res) (= arg res)))))
(lambda (x) (values x x))
'pos
'neg)
1)])
1))
(test/spec-failed
'contract-arrow-star-d3