From 9f453676d13f4b44ee9e8d891984de38db9bdeb0 Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Fri, 3 Aug 2012 20:49:46 -0700
Subject: [PATCH] Add support for creating contracts of heterogenous vectors

---
 collects/typed-racket/private/type-contract.rkt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/collects/typed-racket/private/type-contract.rkt b/collects/typed-racket/private/type-contract.rkt
index 9729e10f7e..82ae6130e1 100644
--- a/collects/typed-racket/private/type-contract.rkt
+++ b/collects/typed-racket/private/type-contract.rkt
@@ -190,6 +190,9 @@
         [(Vector: t)
          (when flat? (exit (fail)))
          #`(vectorof #,(t->c t))]
+        [(HeterogenousVector: ts)
+         (when flat? (exit (fail)))
+         #`(vector/c #,@(map t->c ts))]
         [(Box: t)
          (when flat? (exit (fail)))
          #`(box/c #,(t->c t))]