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

Convert vectorof/vector-immutableof to the new regime.

Browse Source 
Also add old-style vectorof to mzlib/contract.

original commit: 3028f2d1424123d076a95572a7564b8fb069a86e
This commit is contained in:
Stevie Strickland 2010-05-17 13:11:10 -04:00
parent 6b979e393f
commit dbdb62fc7b
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/private/type-contract.rkt
View File

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