From e76d1f7b8dbb069dcec54a1a0e5aded844573a59 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 2 Jan 2016 17:19:48 -0600 Subject: [PATCH] update to match new, more accurate contract-stronger? --- compatibility-test/tests/mzlib/contract-mzlib-test.rktl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/compatibility-test/tests/mzlib/contract-mzlib-test.rktl b/compatibility-test/tests/mzlib/contract-mzlib-test.rktl index de4292f..9549110 100644 --- a/compatibility-test/tests/mzlib/contract-mzlib-test.rktl +++ b/compatibility-test/tests/mzlib/contract-mzlib-test.rktl @@ -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?