suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

change `find-method/send' back to one result

Browse Source 
The 2-result implementation is not needed now that contracts
 are implemented via impersonators

original commit: efd1fa51bdf8de677c9749e830843bdf4fd52322
This commit is contained in:
Matthew Flatt 2011-07-09 06:41:13 -06:00
parent 4b788e02f6
commit c90e2acc38
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/typed-scheme/typecheck/tc-expr-unit.rkt
View File

@ -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)