From 3e4e5af03c7d0f1fdbd87fd5c8d524a8d17b629f Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Wed, 18 Jun 2008 16:10:54 -0400 Subject: [PATCH] Thinkoed, all of them should have -lst added. --- collects/typed-scheme/private/tc-lambda-unit.ss | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/typed-scheme/private/tc-lambda-unit.ss b/collects/typed-scheme/private/tc-lambda-unit.ss index ac55f75361..80c6883603 100644 --- a/collects/typed-scheme/private/tc-lambda-unit.ss +++ b/collects/typed-scheme/private/tc-lambda-unit.ss @@ -80,11 +80,11 @@ [else (let ([rest-type (cond [rest-ty rest-ty] - [(type-annotation rest) (-lst (get-type rest))] - [(< arg-len tys-len) (-lst (list-ref arg-tys arg-len))] - [else (-lst (Un))])]) + [(type-annotation rest) (get-type rest)] + [(< arg-len tys-len) (list-ref arg-tys arg-len)] + [else (Un)])]) (with-lexical-env/extend - (list rest) (list rest-type) + (list rest) (list (-lst rest-type)) (check-body)))]))) (syntax-case args () [(args* ...)