From 597a8151b32533953bb0c2ed917cd6a4e1e37e74 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 13 May 2010 17:43:50 -0400 Subject: [PATCH] fix typo original commit: 798a7f2a3c2189f14cc99143143be86c4eb0b2b5 --- collects/typed-scheme/typecheck/tc-app.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/typecheck/tc-app.rkt b/collects/typed-scheme/typecheck/tc-app.rkt index e90650c9..08ec7707 100644 --- a/collects/typed-scheme/typecheck/tc-app.rkt +++ b/collects/typed-scheme/typecheck/tc-app.rkt @@ -443,7 +443,7 @@ (check-below e-t -Nat) (if expected (check-below (ret (apply Un es)) expected) - (ret (apply (Un es))))] + (ret (apply Un es)))] [(and (integer? ival) (exact? ival) (<= 0 ival (sub1 (length es)))) (if expected (check-below (ret (list-ref es ival)) expected)