From b8058b381abec667bc6e9fd2b8b515ff436ece12 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 9 Apr 2013 16:30:30 -0500 Subject: [PATCH] adjust mzlib contract test suite for fixed or/c names --- collects/tests/racket/contract-mzlib-test.rktl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/tests/racket/contract-mzlib-test.rktl b/collects/tests/racket/contract-mzlib-test.rktl index b85e3050da..0fcd51b520 100644 --- a/collects/tests/racket/contract-mzlib-test.rktl +++ b/collects/tests/racket/contract-mzlib-test.rktl @@ -4141,7 +4141,7 @@ so that propagation occurs. (or/c integer? boolean?)) (test-name '(or/c (-> (>=/c 5) (>=/c 5)) boolean?) (or/c (-> (>=/c 5) (>=/c 5)) boolean?)) - (test-name '(or/c (-> (>=/c 5) (>=/c 5)) boolean?) + (test-name '(or/c boolean? (-> (>=/c 5) (>=/c 5))) (or/c boolean? (-> (>=/c 5) (>=/c 5)))) (test-name '(or/c (-> (>=/c 5) (>=/c 5)) (-> (<=/c 5) (<=/c 5) (<=/c 5))) @@ -4596,7 +4596,7 @@ so that propagation occurs. (flat-contract boolean?))) (test-name '(or/c (-> (>=/c 5) (>=/c 5)) boolean?) (or/c (-> (>=/c 5) (>=/c 5)) boolean?)) - (test-name '(or/c (-> (>=/c 5) (>=/c 5)) boolean?) + (test-name '(or/c boolean? (-> (>=/c 5) (>=/c 5))) (or/c boolean? (-> (>=/c 5) (>=/c 5))))