From d5921fc59ce85ccde77916a184c37f0c88518ef5 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 20 Sep 2014 09:27:17 -0500 Subject: [PATCH] fix mzlib test for eaf48bbbf original commit: 9ea9d0eaf8b2b6dd6b7b76aa377bf75b03e4d756 --- .../compatibility-test/tests/mzlib/contract-mzlib-test.rktl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 d336035..de4292f 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 @@ -4322,7 +4322,7 @@ so that propagation occurs. (ctest #f contract-stronger? (>=/c 2) (>=/c 3)) (ctest #f contract-stronger? (<=/c 3) (<=/c 2)) (ctest #t contract-stronger? (<=/c 2) (<=/c 3)) - (ctest #f contract-stronger? (recursive-contract (<=/c 2)) (recursive-contract (<=/c 3))) + (ctest #t contract-stronger? (recursive-contract (<=/c 2)) (recursive-contract (<=/c 3))) (ctest #f contract-stronger? (recursive-contract (<=/c 3)) (recursive-contract (<=/c 2))) (let ([f (contract-eval '(λ (x) (recursive-contract (<=/c x))))]) (test #t (contract-eval 'contract-stronger?) (contract-eval `(,f 1)) (contract-eval `(,f 1))))