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

update to match new, more accurate contract-stronger?

Browse Source
This commit is contained in:
Robby Findler 2016-01-02 17:19:48 -06:00
parent f6e58fc7c7
commit e76d1f7b8d
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compatibility-test/tests/mzlib/contract-mzlib-test.rktl
View File

@ -4333,8 +4333,8 @@ so that propagation occurs.
(ctest #t contract-stronger? (-> (>=/c 3) (>=/c 3)) (-> (>=/c 3) (>=/c 2)))
(ctest #f contract-stronger? (-> (>=/c 3) (>=/c 2)) (-> (>=/c 3) (>=/c 3)))
(ctest #f contract-stronger? (-> (>=/c 2)) (-> (>=/c 3) (>=/c 3)))
(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 #t contract-stronger? (or/c null? #f) (or/c null? #f))
(ctest #f contract-stronger? (or/c null? #f) (or/c boolean? #f))
(ctest #t contract-stronger? (or/c null? boolean?) (or/c null? boolean?))
(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?)))
@ -4359,7 +4359,7 @@ so that propagation occurs.
(ctest #f contract-stronger?
(or/c (-> string?) (-> integer? integer?))
(or/c (-> string?) (-> any/c integer?)))
(ctest #f contract-stronger?
(ctest #t contract-stronger?
(or/c (-> string?) (-> any/c integer?))
(or/c (-> string?) (-> integer? integer?)))
(ctest #t contract-stronger?