From 47fbb81f6450f8b16c864612660dc66ea90f9525 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 17 Mar 2010 17:00:14 +0000 Subject: [PATCH] add FlVector as a type svn: r18559 original commit: 31911dba551fad0135cc8655585d352e611ca3c2 --- collects/typed-scheme/private/base-types-new.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/typed-scheme/private/base-types-new.ss b/collects/typed-scheme/private/base-types-new.ss index 33ea9c7b..7e52866c 100644 --- a/collects/typed-scheme/private/base-types-new.ss +++ b/collects/typed-scheme/private/base-types-new.ss @@ -37,6 +37,7 @@ [Keyword -Keyword] [Listof -Listof] [Vectorof (-poly (a) (make-Vector a))] +[FlVector -FlVector] [Option (-poly (a) (-opt a))] [HashTable (-poly (a b) (-HT a b))] [Promise (-poly (a) (-Promise a))]