typed-racket/typed-racket-test/succeed/pr13185.rkt
2014-12-16 10:07:25 -05:00

3 lines
86 B
Racket

#lang typed/racket
(for/vector: : (Vectorof Natural) ([i : Natural (in-range 20)]) i)