From dbdb62fc7bd361033f5ab0f31d1b7a105d4645e8 Mon Sep 17 00:00:00 2001
From: Stevie Strickland <sstrickl@racket-lang.org>
Date: Mon, 17 May 2010 13:11:10 -0400
Subject: [PATCH] Convert vectorof/vector-immutableof to the new regime.

Also add old-style vectorof to mzlib/contract.

original commit: 3028f2d1424123d076a95572a7564b8fb069a86e
---
 collects/typed-scheme/private/type-contract.rkt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/collects/typed-scheme/private/type-contract.rkt b/collects/typed-scheme/private/type-contract.rkt
index 5c4b9278..e8eacaf4 100644
--- a/collects/typed-scheme/private/type-contract.rkt
+++ b/collects/typed-scheme/private/type-contract.rkt
@@ -132,7 +132,9 @@
              #'(or/c . cnts)))]
         [(and t (Function: _)) (t->c/fun t)]
         [(Vector: t)
-         #`(vectorof #,(t->c t #:flat #t))]
+         (if flat?
+             #`(vectorof #,(t->c t #:flat #t) #:flat? #t)
+             #`(vectorof #,(t->c t)))]
         [(Box: t)
          (if flat?
              #`(box/c #,(t->c t #:flat #t) #:flat? #t)