From 983b509f2ada5734411fd72b74785346b28d765d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 9 Nov 2015 23:14:03 -0500 Subject: [PATCH] Repair da574a4. --- typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt b/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt index c2d4cfbe..6331ea3f 100644 --- a/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt +++ b/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt @@ -15,8 +15,8 @@ (typecheck signatures tc-metafunctions tc-subst) (env lexical-env tvar-env index-env scoped-tvar-env) (utils tc-utils) - (for-syntax - racket/base)) + (for-template racket/base) + (for-syntax racket/base)) (import tc-expr^) (export tc-lambda^) @@ -208,7 +208,7 @@ (define eta-expanded? (syntax-parse body - [((~literal #%plain-app) fun:expr j:id ...) + [(((~literal #%plain-app) fun:expr j:id ...)) #:when (equal? (length arg-list) (length (syntax->list #'(j ...)))) #:when (andmap free-identifier=? arg-list (syntax->list #'(j ...)))