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