suzanne.soy/racket
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
This commit is contained in:
Stevie Strickland 2010-06-09 15:52:29 -04:00
parent 3151566125
commit 7b38cef4e8
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?
(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))