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

more testing

Browse Source 
original commit: 0558d11abb3233852f891d8f1dab2c1fefe50061
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-10 19:22:25 -04:00
parent 2fdcb1ef9a
commit 094d75b4e6
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/tests/typed-scheme/succeed/het-vec.ss Normal file
View File

@ -0,0 +1,10 @@
#lang typed/scheme
(ann (vector-ref #(1 'foo 3) 0) Integer)
(define: x : (Vector Number String Symbol) (vector 1 "foo" 'bar))
(define: y : 2 2)
(ann (vector-ref x 1) String)
(ann (vector-ref x y) Symbol)