From 14187b4cdd9230d34cebbdb3d1036193d90881cb Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 30 Nov 2012 15:49:05 -0500 Subject: [PATCH] Refactor (make argument arity clear) original commit: 42fc3aeda01b987e1a60e14fe760444fc31732a4 --- collects/typed-racket/typecheck/tc-expr-unit.rkt | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/collects/typed-racket/typecheck/tc-expr-unit.rkt b/collects/typed-racket/typecheck/tc-expr-unit.rkt index 96d6154a..de8ec4ed 100644 --- a/collects/typed-racket/typecheck/tc-expr-unit.rkt +++ b/collects/typed-racket/typecheck/tc-expr-unit.rkt @@ -331,8 +331,9 @@ [(tc-result1: (Continuation-Mark-Keyof: rhs)) (tc-expr/check/type #'e2 rhs) (tc-expr/check #'e3 expected)] - [(? (λ _ (and (identifier? #'e1) - (free-identifier=? #'pz:pk #'e1)))) + [(? (λ (result) + (and (identifier? #'e1) + (free-identifier=? #'pz:pk #'e1)))) (tc-expr/check/type #'e2 Univ) (tc-expr/check #'e3 expected)] [(tc-result1: key-t) @@ -437,8 +438,9 @@ [(tc-result1: (Continuation-Mark-Keyof: rhs)) (tc-expr/check/type #'e2 rhs) (tc-expr #'e3)] - [(? (λ _ (and (identifier? #'e1) - (free-identifier=? #'pz:pk #'e1)))) + [(? (λ (result) + (and (identifier? #'e1) + (free-identifier=? #'pz:pk #'e1)))) (tc-expr/check/type #'e2 Univ) (tc-expr #'e3)] [(tc-result1: key-t)