From 6cd98e19ef8d5da2f094c33faf5b2c77237e984f Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 7 Jul 2008 15:36:45 -0400 Subject: [PATCH] Int is not a type original commit: f2699abe6539da6e44e9a8e19fe481b26a2fa8ec --- collects/tests/typed-scheme/succeed/nested-poly.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/succeed/nested-poly.ss b/collects/tests/typed-scheme/succeed/nested-poly.ss index 14830465..8b67fab8 100644 --- a/collects/tests/typed-scheme/succeed/nested-poly.ss +++ b/collects/tests/typed-scheme/succeed/nested-poly.ss @@ -1,5 +1,5 @@ #lang typed-scheme -(: f (All (A ...) (All (B ...) (A ... A -> Int)))) +(: f (All (A ...) (All (B ...) (A ... A -> Integer)))) (define (f . xs) 5) \ No newline at end of file