From c90e2acc38abe4eabdb3d5532c785c10eb93dd2d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 9 Jul 2011 06:41:13 -0600 Subject: [PATCH] change `find-method/send' back to one result The 2-result implementation is not needed now that contracts are implemented via impersonators original commit: efd1fa51bdf8de677c9749e830843bdf4fd52322 --- collects/typed-scheme/typecheck/tc-expr-unit.rkt | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.rkt b/collects/typed-scheme/typecheck/tc-expr-unit.rkt index 62a7c86a..04bd53d3 100644 --- a/collects/typed-scheme/typecheck/tc-expr-unit.rkt +++ b/collects/typed-scheme/typecheck/tc-expr-unit.rkt @@ -304,8 +304,9 @@ (tc/lambda/check form #'(formals ...) #'(body ...) expected)] ;; send [(let-values (((_) meth)) - (let-values (((_ _) (~and find-app (#%plain-app find-method/who _ rcvr _)))) - (#%plain-app _ _ args ...))) + (let-values (((_) rcvr)) + (let-values (((_) (~and find-app (#%plain-app find-method/who _ _ _)))) + (#%plain-app _ _ args ...)))) (tc/send #'find-app #'rcvr #'meth #'(args ...) expected)] ;; let [(let-values ([(name ...) expr] ...) . body) @@ -367,8 +368,9 @@ (tc/lambda form #'(formals ...) #'(body ...))] ;; send [(let-values (((_) meth)) - (let-values (((_ _) (~and find-app (#%plain-app find-method/who _ rcvr _)))) - (#%plain-app _ _ args ...))) + (let-values (((_) rcvr)) + (let-values (((_) (~and find-app (#%plain-app find-method/who _ _ _)))) + (#%plain-app _ _ args ...)))) (tc/send #'find-app #'rcvr #'meth #'(args ...))] ;; let [(let-values ([(name ...) expr] ...) . body)