From 8d810160f29a0645d199651cf03d0e0c71ea254a Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 17 Jun 2008 10:43:37 -0400 Subject: [PATCH] =?UTF-8?q?Only=20use=20free-identifier=3D=3F=20when=20it'?= =?UTF-8?q?s=20an=20identifier.?= --- collects/typed-scheme/private/tc-app-unit.ss | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/collects/typed-scheme/private/tc-app-unit.ss b/collects/typed-scheme/private/tc-app-unit.ss index f342f97d59..8bce1a7d1e 100644 --- a/collects/typed-scheme/private/tc-app-unit.ss +++ b/collects/typed-scheme/private/tc-app-unit.ss @@ -542,11 +542,13 @@ (tc/rec-lambda/check form #'(args ...) #'body #'lp ts expected) (ret expected))] [(#%plain-app or/andmap f arg) - (and (or (free-identifier=? #'or/andmap #'ormap) - (free-identifier=? #'or/andmap #'andmap)) - (with-handlers (#;[exn:fail? (lambda _ #f)]) - (tc/dots #'arg) - #t)) + (and + (identifier? #'or/andmap) + (or (free-identifier=? #'or/andmap #'ormap) + (free-identifier=? #'or/andmap #'andmap)) + (with-handlers (#;[exn:fail? (lambda _ #f)]) + (tc/dots #'arg) + #t)) (let-values ([(ty bound) (tc/dots #'arg)]) (parameterize ([current-tvars (extend-env (list bound) (list (make-DottedBoth (make-F bound)))