Add test for 21316e3ebf.

2015-12-06 12:22:37 -05:00 · 2015-12-06 12:22:37 -05:00 · a0c09c19ac
commit a0c09c19ac
parent 21316e3ebf
1 changed files with 9 additions and 2 deletions
--- a/pkgs/racket-test/tests/racket/contract/vector.rkt
+++ b/pkgs/racket-test/tests/racket/contract/vector.rkt
@ -127,7 +127,14 @@
                   0 #f)))
  
  (test/pos-blame
-   'vector/c6
+   'vector/c7
   '(contract (vector/c integer? #:immutable #t)
              (vector-immutable #f)
-              'pos 'neg)))
+              'pos 'neg))
+
+  (test/spec-passed/result
+   'vector/immutable-flat
+   '(let ([x (vector-immutable 1 2 3)])
+      (eq? (contract (vectorof integer?) x 'pos 'neg)
+           x))
+   '#true))