suzanne.soy/compatibility
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix first-order cons/c check in mzlib contract tests.

Browse Source 
original commit: 7b38cef4e89ec1b537cf06c643379a67d6d39f07
This commit is contained in:
Stevie Strickland 2010-06-09 15:52:29 -04:00
parent 7ad10fe4d0
commit 79f7ee6472
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/racket/contract-mzlib-test.rktl
View File

@ -4521,7 +4521,7 @@ so that propagation occurs.
(ctest #t contract-first-order-passes? (ctest #t contract-first-order-passes?
(cons/c boolean? (-> integer? integer?)) (cons/c boolean? (-> integer? integer?))
(list* #t (λ (x) x))) (list* #t (λ (x) x)))
(ctest #t contract-first-order-passes? (ctest #f contract-first-order-passes?
(cons/c boolean? (-> integer? integer?)) (cons/c boolean? (-> integer? integer?))
(list* 1 2)) (list* 1 2))