From d229e895b4862f76e3d81fe99a1dd72a057adc57 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 24 Jun 2008 11:43:06 -0400 Subject: [PATCH] new test original commit: d7cf0a10c06ea231812e29a3f480ebe6ec7f15de --- collects/tests/typed-scheme/succeed/ann-map-funcs.ss | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 collects/tests/typed-scheme/succeed/ann-map-funcs.ss diff --git a/collects/tests/typed-scheme/succeed/ann-map-funcs.ss b/collects/tests/typed-scheme/succeed/ann-map-funcs.ss new file mode 100644 index 00000000..d5784431 --- /dev/null +++ b/collects/tests/typed-scheme/succeed/ann-map-funcs.ss @@ -0,0 +1,11 @@ +#lang typed-scheme + +(: map-with-funcs (All (b a ...) ((a ... a -> b) * -> (a ... a -> (Listof b))))) + +(define (map-with-funcs . fs) + (lambda as + (map (lambda: ([f : (a ... a -> b)]) + (apply f as)) + fs))) + +(ann (map-with-funcs + - * /) (Integer Integer * -> (Listof Number))) \ No newline at end of file