From 79f7ee64725bdcb6f1f3d1356792c566356cd8e9 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Wed, 9 Jun 2010 15:52:29 -0400 Subject: [PATCH] Fix first-order cons/c check in mzlib contract tests. original commit: 7b38cef4e89ec1b537cf06c643379a67d6d39f07 --- collects/tests/racket/contract-mzlib-test.rktl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/racket/contract-mzlib-test.rktl b/collects/tests/racket/contract-mzlib-test.rktl index 61a3953..011562f 100644 --- a/collects/tests/racket/contract-mzlib-test.rktl +++ b/collects/tests/racket/contract-mzlib-test.rktl @@ -4521,7 +4521,7 @@ so that propagation occurs. (ctest #t contract-first-order-passes? (cons/c boolean? (-> integer? integer?)) (list* #t (λ (x) x))) - (ctest #t contract-first-order-passes? + (ctest #f contract-first-order-passes? (cons/c boolean? (-> integer? integer?)) (list* 1 2))