suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add FlVector as a type

Browse Source 
svn: r18559
This commit is contained in:
Sam Tobin-Hochstadt 2010-03-17 17:00:14 +00:00
parent fe68168e3d
commit 31911dba55
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/typed-scheme/private/base-types-new.ss
View File

@ -37,6 +37,7 @@
[Keyword -Keyword] [Keyword -Keyword]
[Listof -Listof] [Listof -Listof]
[Vectorof (-poly (a) (make-Vector a))] [Vectorof (-poly (a) (make-Vector a))]
[FlVector -FlVector]
[Option (-poly (a) (-opt a))] [Option (-poly (a) (-opt a))]
[HashTable (-poly (a b) (-HT a b))] [HashTable (-poly (a b) (-HT a b))]
[Promise (-poly (a) (-Promise a))] [Promise (-poly (a) (-Promise a))]