From ab2b36175b7a4da0009db92942b44e62f2ff2d63 Mon Sep 17 00:00:00 2001 From: Daniel Feltey Date: Tue, 16 May 2017 13:43:35 -0500 Subject: [PATCH] Add vectorof first-order test cases Previously none of the test cases would execute the `check-vectorof` function's `first-order?` case in the implementation of `vectorof` contracts. --- pkgs/racket-test/tests/racket/contract/vector.rkt | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/pkgs/racket-test/tests/racket/contract/vector.rkt b/pkgs/racket-test/tests/racket/contract/vector.rkt index 7b94c6007f..9795638e93 100644 --- a/pkgs/racket-test/tests/racket/contract/vector.rkt +++ b/pkgs/racket-test/tests/racket/contract/vector.rkt @@ -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)) + )