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

Add test.

Browse Source 
original commit: 326e3ba33f18a2c651b0dc8bfff388f8486fd114
This commit is contained in:
Vincent St-Amour 2012-10-14 16:55:36 -04:00
parent 2d549d13b1
commit a1e803ad7f
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-racket/succeed/pr13185.rkt Normal file
View File

@ -0,0 +1,2 @@
#lang typed/racket
(for/vector: : (Vectorof Natural) ([i : Natural (in-range 20)]) i)