From 8962a9f79e9aef5be2db89d181f3ad7ff2ef31a0 Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Wed, 9 Nov 2011 21:44:54 -0500
Subject: [PATCH] pulling from sk's cs019 language

---
 tests/more-tests/sigs-cs019.rkt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tests/more-tests/sigs-cs019.rkt b/tests/more-tests/sigs-cs019.rkt
index 4a46706..76dfa6f 100644
--- a/tests/more-tests/sigs-cs019.rkt
+++ b/tests/more-tests/sigs-cs019.rkt
@@ -25,6 +25,9 @@
  (list "Number$")
  (list 17))
 
+(define smallvec (vector 0))
+(define: vd : Void$ (vector-set! smallvec 0 1))
+(check-expect (vector-ref smallvec 0) 1)
 
 (define: (g2 [x : Number$]) -> String$ 'not-a-string)
 #;(check-error (g2 "10"))