Remove supurious annotation.

svn: r9537
This commit is contained in:
Sam Tobin-Hochstadt 2008-04-29 21:42:16 +00:00
parent 6a1b99a74f
commit ab81b1d64f

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