From 26b2b6c4d7759f3c4a1bb97d102cf7abaa9dae27 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 7 May 2014 19:24:31 -0500 Subject: [PATCH] fix mzlib contract tests for or/c stronger improvements original commit: aef9f1924b38c8a9ababd43fa16845004b783a64 --- .../tests/mzlib/contract-mzlib-test.rktl | 32 +++++++++---------- 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/pkgs/compatibility-pkgs/compatibility-test/tests/mzlib/contract-mzlib-test.rktl b/pkgs/compatibility-pkgs/compatibility-test/tests/mzlib/contract-mzlib-test.rktl index 82ec26b..f93b97c 100644 --- a/pkgs/compatibility-pkgs/compatibility-test/tests/mzlib/contract-mzlib-test.rktl +++ b/pkgs/compatibility-pkgs/compatibility-test/tests/mzlib/contract-mzlib-test.rktl @@ -4335,7 +4335,7 @@ so that propagation occurs. (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? 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 #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? - (or/c (-> (>=/c 3) (>=/c 3)) (-> string?)) - (or/c (-> (>=/c 4) (>=/c 3)) (-> string?))) + (or/c (-> (>=/c 3) (>=/c 3)) (-> string?)) + (or/c (-> (>=/c 4) (>=/c 3)) (-> string?))) (ctest #f contract-stronger? - (or/c (-> string?) (-> integer? integer?)) - (or/c (-> string?) (-> any/c integer?))) + (or/c (-> string?) (-> integer? integer?)) + (or/c (-> string?) (-> any/c integer?))) (ctest #f contract-stronger? - (or/c (-> string?) (-> any/c integer?)) - (or/c (-> string?) (-> integer? integer?))) + (or/c (-> string?) (-> any/c integer?)) + (or/c (-> string?) (-> integer? integer?))) (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? - (or/c (-> string?) (-> integer? integer?) integer? char?) - (or/c (-> string?) (-> integer? integer?) integer? boolean?)) + (or/c (-> string?) (-> integer? integer?) integer? char?) + (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? - (or/c (-> string?) (-> integer? integer?) integer?) - (or/c (-> string?) (-> integer? integer?) integer? boolean?)) - (ctest #f contract-stronger? - (or/c (-> string?) (-> integer? integer?) integer?) - (or/c (-> integer? integer?) integer?)) + (or/c (-> string?) (-> integer? integer?) integer?) + (or/c (-> integer? integer?) integer?)) (contract-eval `(let ()