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

new test

Browse Source 
svn: r9610

original commit: 4e54165e2a011bf2b32b56d0d075d29d3e0299bb
This commit is contained in:
Sam Tobin-Hochstadt 2008-05-02 22:22:44 +00:00
parent f21a54a6cb
commit 2420a28529
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/tests/typed-scheme/succeed/typeann-letrec.ss Normal file
View File

@ -0,0 +1,5 @@
#lang typed-scheme
(letrec-syntaxes+values () ([(#{x : Number}) (values 1)]) #{(vector x) :: (Vectorof Number)})
(letrec-values ([(#{x : Number}) (values 1)]) #{(vector x) :: (Vectorof Number)})
(letrec ([#{x : Number} (values 1)]) #{(vector x) :: (Vectorof Number)})