From a1f078fb591d87b572864f80b152a9f1e462b10a Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Thu, 19 Jun 2008 19:12:39 -0400 Subject: [PATCH] Another change. --- .../tests/typed-scheme/succeed/dotted-identity.ss | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/collects/tests/typed-scheme/succeed/dotted-identity.ss b/collects/tests/typed-scheme/succeed/dotted-identity.ss index 7ea9391d1f..df07474f0a 100644 --- a/collects/tests/typed-scheme/succeed/dotted-identity.ss +++ b/collects/tests/typed-scheme/succeed/dotted-identity.ss @@ -12,5 +12,12 @@ (define (z . xs) (apply + xs)) ((f z) 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18) -#; -#{(f z) :: (Integer * -> Integer)} \ No newline at end of file + +#; #{(f z) :: (Integer * -> Integer)} + +;; I don't believe the below should work, but it points out where that internal error is coming from. + +(: g (All (b ...) ( -> (b ... b -> Integer)))) +(define (g) (lambda xs 0)) + +(f (g)) \ No newline at end of file