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

add tail call behavior test for -> contract

Browse Source 
svn: r4779
This commit is contained in:
Robby Findler 2006-11-05 02:06:19 +00:00
parent 22fd8f51cc
commit 18288da493
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4242,7 +4242,29 @@
(or/c (-> (>=/c 5) (>=/c 5)) boolean?)) (or/c (-> (>=/c 5) (>=/c 5)) boolean?))
(test-name '(or/c (-> (>=/c 5) (>=/c 5)) boolean?) (test-name '(or/c (-> (>=/c 5) (>=/c 5)) boolean?)
(or/c boolean? (-> (>=/c 5) (>=/c 5)))) (or/c boolean? (-> (>=/c 5) (>=/c 5))))
(test 1
length
(let ([f (contract (-> integer? any)
(lambda (x)
(with-continuation-mark 'x 'x
(continuation-mark-set->list (current-continuation-marks) 'x)))
'pos
'neg)])
(with-continuation-mark 'x 'x
(f 1))))
(test 2
length
(let ([f (contract (-> integer? list?)
(lambda (x)
(with-continuation-mark 'x 'x
(continuation-mark-set->list (current-continuation-marks) 'x)))
'pos
'neg)])
(with-continuation-mark 'x 'x
(f 1))))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;