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

Add vectorof first-order test cases

Browse Source 
Previously none of the test cases would execute the `check-vectorof` function's
`first-order?` case in the implementation of `vectorof` contracts.
This commit is contained in:
Daniel Feltey 2017-05-16 13:43:35 -05:00 committed by Robby Findler
parent 8bc9cef7a9
commit ab2b36175b
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
pkgs/racket-test/tests/racket/contract/vector.rkt
View File

@ -173,4 +173,13 @@
(test/pos-blame
'vectorof/mutable-higher-order
'(contract (vectorof (-> integer? integer?) #:immutable #f) (vector-immutable add1) 'pos 'neg))
(test/pos-blame
'vectorof-or/c-first-order-fail
'(contract (or/c (vectorof integer?) (vectorof string?)) (vector 'bad) 'pos 'neg))
(test/spec-passed
'vectorof-or/c-first-order-pass
'(contract (or/c (vectorof integer?) (vectorof string?)) (vector 1) 'pos 'neg))
)