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

fix mzlib contract tests for or/c stronger improvements

Browse Source 
original commit: aef9f1924b38c8a9ababd43fa16845004b783a64
This commit is contained in:
Robby Findler 2014-05-07 19:24:31 -05:00
parent a67c0c7250
commit 26b2b6c4d7
1 changed files with 16 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
pkgs/compatibility-pkgs/compatibility-test/tests/mzlib/contract-mzlib-test.rktl
View File

@ -4335,7 +4335,7 @@ so that propagation occurs.
(ctest #t contract-stronger? (or/c null? any/c) (or/c null? any/c)) (ctest #t contract-stronger? (or/c null? any/c) (or/c null? any/c))
(ctest #f contract-stronger? (or/c null? any/c) (or/c boolean? any/c)) (ctest #f contract-stronger? (or/c null? any/c) (or/c boolean? any/c))
(ctest #t contract-stronger? (or/c null? boolean?) (or/c null? boolean?)) (ctest #t contract-stronger? (or/c null? boolean?) (or/c null? boolean?))
(ctest #f contract-stronger? (or/c null? boolean?) (or/c boolean? null?)) (ctest #t contract-stronger? (or/c null? boolean?) (or/c boolean? null?))
(ctest #t contract-stronger? (or/c null? (-> integer? integer?)) (or/c null? (-> integer? integer?))) (ctest #t contract-stronger? (or/c null? (-> integer? integer?)) (or/c null? (-> integer? integer?)))
(ctest #f contract-stronger? (or/c null? (-> boolean? boolean?)) (or/c null? (-> integer? integer?))) (ctest #f contract-stronger? (or/c null? (-> boolean? boolean?)) (or/c null? (-> integer? integer?)))
@ -4353,26 +4353,26 @@ so that propagation occurs.
(ctest #t contract-stronger? (one-of/c (expt 2 100)) (one-of/c (expt 2 100) 12)) (ctest #t contract-stronger? (one-of/c (expt 2 100)) (one-of/c (expt 2 100) 12))
(ctest #t contract-stronger? (ctest #t contract-stronger?
(or/c (-> (>=/c 3) (>=/c 3)) (-> string?)) (or/c (-> (>=/c 3) (>=/c 3)) (-> string?))
(or/c (-> (>=/c 4) (>=/c 3)) (-> string?))) (or/c (-> (>=/c 4) (>=/c 3)) (-> string?)))
(ctest #f contract-stronger? (ctest #f contract-stronger?
(or/c (-> string?) (-> integer? integer?)) (or/c (-> string?) (-> integer? integer?))
(or/c (-> string?) (-> any/c integer?))) (or/c (-> string?) (-> any/c integer?)))
(ctest #f contract-stronger? (ctest #f contract-stronger?
(or/c (-> string?) (-> any/c integer?)) (or/c (-> string?) (-> any/c integer?))
(or/c (-> string?) (-> integer? integer?))) (or/c (-> string?) (-> integer? integer?)))
(ctest #t contract-stronger? (ctest #t contract-stronger?
(or/c (-> string?) (-> integer? integer?) integer? boolean?) (or/c (-> string?) (-> integer? integer?) integer? boolean?)
(or/c (-> string?) (-> integer? integer?) integer? boolean?)) (or/c (-> string?) (-> integer? integer?) integer? boolean?))
(ctest #f contract-stronger? (ctest #f contract-stronger?
(or/c (-> string?) (-> integer? integer?) integer? char?) (or/c (-> string?) (-> integer? integer?) integer? char?)
(or/c (-> string?) (-> integer? integer?) integer? boolean?)) (or/c (-> string?) (-> integer? integer?) integer? boolean?))
(ctest #t contract-stronger?
(or/c (-> string?) (-> integer? integer?) integer?)
(or/c (-> string?) (-> integer? integer?) integer? boolean?))
(ctest #f contract-stronger? (ctest #f contract-stronger?
(or/c (-> string?) (-> integer? integer?) integer?) (or/c (-> string?) (-> integer? integer?) integer?)
(or/c (-> string?) (-> integer? integer?) integer? boolean?)) (or/c (-> integer? integer?) integer?))
(ctest #f contract-stronger?
(or/c (-> string?) (-> integer? integer?) integer?)
(or/c (-> integer? integer?) integer?))
(contract-eval (contract-eval
`(let () `(let ()