From 40dd66120c0145e693f7b74d0f7cbe00546e389c Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 31 Jul 2008 19:26:13 +0000 Subject: [PATCH] add test svn: r11009 original commit: 14b180d5a74018c0b9a2b0c2805045e9f910958a --- .../tests/typed-scheme/succeed/nested-poly.ss | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/succeed/nested-poly.ss b/collects/tests/typed-scheme/succeed/nested-poly.ss index 8b67fab8..785ee9a5 100644 --- a/collects/tests/typed-scheme/succeed/nested-poly.ss +++ b/collects/tests/typed-scheme/succeed/nested-poly.ss @@ -1,5 +1,20 @@ #lang typed-scheme +(require typed-scheme/private/extra-procs) + (: f (All (A ...) (All (B ...) (A ... A -> Integer)))) -(define (f . xs) 5) \ No newline at end of file +(define (f . xs) 5) + +(: map-with-funcs + (All (A ...) + (All (B ...) + ((B ... B -> A) ... A -> + (B ... B -> (values A ... A)))))) +(define (map-with-funcs . fs) + (lambda as + (apply values* (map (lambda: ([f : (B ... B -> A)]) + (apply f as)) + fs)))) + +(inst map-with-funcs Integer Integer Integer Integer) \ No newline at end of file