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

.

Browse Source 
original commit: 67aec70f5bbfc29b6469303c5aac4ba9bcb87727
This commit is contained in:
Robby Findler 2004-12-22 21:22:22 +00:00
parent 86fc773b6e
commit c752669237
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2563,9 +2563,11 @@
(union (-> (>=/c 5) (>=/c 5)) boolean?))
(test-name 'any/c (and/c))
(test-name 'and/c-contract? (and/c number? integer?))
(test-name 'and/c-contract? (and/c (flat-contract number?)
(flat-contract integer?)))
(test-name '(and/c any/c) (and/c any/c))
(test-name '(and/c any/c any/c) (and/c any/c any/c))
(test-name '(and/c number? integer?) (and/c number? integer?))
(test-name '(and/c number? integer?) (and/c (flat-contract number?)
(flat-contract integer?)))
(test-name '(and/c number? (-> integer? integer?)) (and/c number? (-> integer? integer?)))
(test-name '(not/c integer?) (not/c integer?))