From 094d75b4e6810717335d1dde2cbe23eb6dc04148 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Mon, 10 May 2010 19:22:25 -0400
Subject: [PATCH] more testing

original commit: 0558d11abb3233852f891d8f1dab2c1fefe50061
---
 collects/tests/typed-scheme/succeed/het-vec.ss | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 collects/tests/typed-scheme/succeed/het-vec.ss

diff --git a/collects/tests/typed-scheme/succeed/het-vec.ss b/collects/tests/typed-scheme/succeed/het-vec.ss
new file mode 100644
index 00000000..97e4cf65
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/het-vec.ss
@@ -0,0 +1,10 @@
+#lang typed/scheme
+
+(ann (vector-ref #(1 'foo 3) 0) Integer)
+
+(define: x : (Vector Number String Symbol) (vector 1 "foo" 'bar))
+
+(define: y : 2 2)
+
+(ann (vector-ref x 1) String)
+(ann (vector-ref x y) Symbol)
\ No newline at end of file