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

new test

Browse Source 
svn: r9610
This commit is contained in:
Sam Tobin-Hochstadt 2008-05-02 22:22:44 +00:00
parent 32730fff6b
commit 4e54165e2a
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)})