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

added parameter/c

Browse Source 
svn: r6770

original commit: 2dfd35e5c713f9d38eb8d704a70f725e796f3722
This commit is contained in:
Robby Findler 2007-06-29 16:44:18 +00:00
parent d43d9a3d1b
commit 067bf11ed7
1 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1538,6 +1538,19 @@
1) 1)
x) x)
(reverse '(1 3 4 2))) (reverse '(1 3 4 2)))
(test/neg-blame
'parameter/c1
'((contract (parameter/c integer?)
(make-parameter 1)
'pos 'neg)
#f))
(test/pos-blame
'parameter/c1
'((contract (parameter/c integer?)
(make-parameter 'not-an-int)
'pos 'neg)))
(test/spec-passed (test/spec-passed
'define/contract1 'define/contract1
@ -4398,6 +4411,8 @@ so that propagation occurs.
(test-name '(cons-immutable/c (-> boolean? boolean?) (cons-immutable/c integer? null?)) (test-name '(cons-immutable/c (-> boolean? boolean?) (cons-immutable/c integer? null?))
(list-immutable/c (-> boolean? boolean?) integer?)) (list-immutable/c (-> boolean? boolean?) integer?))
(test-name '(parameter/c integer?) (parameter/c integer?))
(test-name '(box/c boolean?) (box/c boolean?)) (test-name '(box/c boolean?) (box/c boolean?))
(test-name '(box/c boolean?) (box/c (flat-contract boolean?))) (test-name '(box/c boolean?) (box/c (flat-contract boolean?)))
(test-name 'the-name (flat-rec-contract the-name)) (test-name 'the-name (flat-rec-contract the-name))
@ -4509,6 +4524,10 @@ so that propagation occurs.
(ctest #t contract-stronger? number? number?) (ctest #t contract-stronger? number? number?)
(ctest #f contract-stronger? boolean? number?) (ctest #f contract-stronger? boolean? number?)
(ctest #t contract-stronger? (parameter/c (between/c 0 5)) (parameter/c (between/c 0 5)))
(ctest #f contract-stronger? (parameter/c (between/c 0 5)) (parameter/c (between/c 1 4)))
(ctest #f contract-stronger? (parameter/c (between/c 1 4)) (parameter/c (between/c 0 5)))
(ctest #t contract-stronger? (symbols 'x 'y) (symbols 'x 'y 'z)) (ctest #t contract-stronger? (symbols 'x 'y) (symbols 'x 'y 'z))
(ctest #f contract-stronger? (symbols 'x 'y 'z) (symbols 'x 'y)) (ctest #f contract-stronger? (symbols 'x 'y 'z) (symbols 'x 'y))