From 2420a285290029e6ba97b433950b6c3618af825c Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 2 May 2008 22:22:44 +0000 Subject: [PATCH] new test svn: r9610 original commit: 4e54165e2a011bf2b32b56d0d075d29d3e0299bb --- collects/tests/typed-scheme/succeed/typeann-letrec.ss | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 collects/tests/typed-scheme/succeed/typeann-letrec.ss diff --git a/collects/tests/typed-scheme/succeed/typeann-letrec.ss b/collects/tests/typed-scheme/succeed/typeann-letrec.ss new file mode 100644 index 00000000..ed6a4d65 --- /dev/null +++ b/collects/tests/typed-scheme/succeed/typeann-letrec.ss @@ -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)}) \ No newline at end of file