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

added more or/c tests

Browse Source 
svn: r3793
This commit is contained in:
Robby Findler 2006-07-24 14:51:52 +00:00
parent 61254b02e7
commit c937d4aa28
1 changed files with 22 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1398,7 +1398,16 @@
'neg)
'x))
(test 1 'or/c-not-error-early
(test/pos-blame
'or/c13
'(contract (or/c not) #t 'pos 'neg))
(test/spec-passed
'or/c14
'(contract (or/c not) #f 'pos 'neg))
(test 1
'or/c-not-error-early
(begin (or/c (-> integer? integer?) (-> boolean? boolean?))
1))
(error-test #'(contract (or/c (-> integer? integer?) (-> boolean? boolean?))
@ -3794,10 +3803,22 @@
(test-name '(or/c integer? boolean?)
(or/c (flat-contract integer?)
(flat-contract boolean?)))
(test-name '(or/c integer? boolean?)
(or/c integer? boolean?))
(test-name '(or/c (-> (>=/c 5) (>=/c 5)) boolean?)
(or/c (-> (>=/c 5) (>=/c 5)) boolean?))
(test-name '(or/c (-> (>=/c 5) (>=/c 5)) boolean?)
(or/c boolean? (-> (>=/c 5) (>=/c 5))))
(test-name '(or/c (-> (>=/c 5) (>=/c 5))
(-> (<=/c 5) (<=/c 5) (<=/c 5)))
(or/c (-> (>=/c 5) (>=/c 5))
(-> (<=/c 5) (<=/c 5) (<=/c 5))))
(test-name '(or/c boolean?
(-> (>=/c 5) (>=/c 5))
(-> (<=/c 5) (<=/c 5) (<=/c 5)))
(or/c boolean?
(-> (>=/c 5) (>=/c 5))
(-> (<=/c 5) (<=/c 5) (<=/c 5))))
(test-name 'any/c (and/c))
(test-name '(and/c any/c) (and/c any/c))