From 4e54165e2a011bf2b32b56d0d075d29d3e0299bb 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 --- 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 0000000000..ed6a4d655d --- /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