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

Add support for creating contracts of heterogenous vectors

Browse Source 
original commit: 9f453676d13f4b44ee9e8d891984de38db9bdeb0
This commit is contained in:
Eric Dobson 2012-08-03 20:49:46 -07:00 committed by Vincent St-Amour
parent 74f13b21f1
commit 786a64de60
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-racket/private/type-contract.rkt
View File

@ -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))]