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

Ignore.

Browse Source 
Remove supurious annotation.

svn: r9537

original commit: ab81b1d64feb13532d77dccf1b21bfd820793a19
This commit is contained in:
Sam Tobin-Hochstadt 2008-04-29 21:42:16 +00:00
parent 6afac96172
commit 375a4f5289
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-scheme/succeed/vec-tests.ss
View File

@ -1,4 +1,4 @@
#lang typed-scheme
(define: x : (Vectorof Number) (build-vector 5 (lambda: ([x : Number]) #{0 :: Number})))
(define: x : (Vectorof Number) (build-vector 5 (lambda: ([x : Number]) 0)))
(define: y : Number (vector-ref x 1))