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

fix buggy test case

Browse Source
This commit is contained in:
Robby Findler 2014-12-13 14:57:01 -06:00
parent c3e92093f6
commit b1a22bfd29
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/racket-test/tests/racket/contract/stronger.rkt
View File

@ -151,7 +151,7 @@
(or/c (-> integer? integer?) integer?))
(ctest #t contract-stronger? (list/c) '())
(ctest #t contract-stronger? (list/c) '())
(ctest #t contract-stronger? '() (list/c))
(ctest #t contract-stronger? (cons/c boolean? integer?) (cons/c boolean? integer?))
(ctest #f contract-stronger? (cons/c boolean? integer?) (cons/c integer? boolean?))
(ctest #t contract-stronger? (cons/c number? (listof number?)) (non-empty-listof number?))