From a1e803ad7f5729e8316a61b1f861378e304a6035 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Sun, 14 Oct 2012 16:55:36 -0400 Subject: [PATCH] Add test. original commit: 326e3ba33f18a2c651b0dc8bfff388f8486fd114 --- collects/tests/typed-racket/succeed/pr13185.rkt | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 collects/tests/typed-racket/succeed/pr13185.rkt diff --git a/collects/tests/typed-racket/succeed/pr13185.rkt b/collects/tests/typed-racket/succeed/pr13185.rkt new file mode 100644 index 00000000..d2f5e60c --- /dev/null +++ b/collects/tests/typed-racket/succeed/pr13185.rkt @@ -0,0 +1,2 @@ +#lang typed/racket +(for/vector: : (Vectorof Natural) ([i : Natural (in-range 20)]) i)