From 9f77daab416df94eab23067bf333d0ee17eaef69 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 4 Feb 2009 23:07:09 +0000 Subject: [PATCH] fix expr attribute svn: r13438 --- collects/typed-scheme/typecheck/tc-app-unit.ss | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/collects/typed-scheme/typecheck/tc-app-unit.ss b/collects/typed-scheme/typecheck/tc-app-unit.ss index 69b62d4aa2..3c75308f3d 100644 --- a/collects/typed-scheme/typecheck/tc-app-unit.ss +++ b/collects/typed-scheme/typecheck/tc-app-unit.ss @@ -530,12 +530,12 @@ (pattern (begin expr ...)) (pattern (begin0 expr ...)) (pattern (#%plain-lambda _ e) - #:with (exprs ...) #'(e)) - (pattern (case-lambda [_ exprs] ...)) + #:with (expr ...) #'(e)) + (pattern (case-lambda [_ expr] ...)) (pattern (set! _ e) - #:with (exprs ...) #'(e)) + #:with (expr ...) #'(e)) (pattern _ - #:with (exprs ...) #'())) + #:with (expr ...) #'())) ;; expr id -> type or #f ;; if there is a binding in stx of the form: @@ -554,10 +554,10 @@ (syntax-parse stx #:literals (let-values) [(let-values cls:lv-clauses body) - (cond [(ormap match? (syntax->list #'cls))] - [else (find #'body)])] + (or (ormap match? (syntax->list #'cls)) + (find #'body))] [e:core-expr - (ormap find (syntax->list #'e.exprs))])) + (ormap find (syntax->list #'(e.expr ...)))])) (define (check-do-make-object cl pos-args names named-args)