suzanne.soy/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
This commit is contained in:
Eric Dobson 2012-08-03 20:49:46 -07:00 committed by Vincent St-Amour
parent f090698542
commit 9f453676d1
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) [(Vector: t)
(when flat? (exit (fail))) (when flat? (exit (fail)))
#`(vectorof #,(t->c t))] #`(vectorof #,(t->c t))]
[(HeterogenousVector: ts)
(when flat? (exit (fail)))
#`(vector/c #,@(map t->c ts))]
[(Box: t) [(Box: t)
(when flat? (exit (fail))) (when flat? (exit (fail)))
#`(box/c #,(t->c t))] #`(box/c #,(t->c t))]