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

Remove unused argument to tc/rec-lambda/check.

Browse Source
This commit is contained in:
Eric Dobson 2013-02-19 22:42:06 -08:00
parent 454f4c3f0e
commit df581c3e4f
2 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/typed-racket/typecheck/tc-app/tc-app-lambda.rkt
View File

@ -20,11 +20,11 @@
(define-tc/app-syntax-class (tc/app-lambda expected)
#:literals (#%plain-app #%plain-lambda letrec-values)
;; let loop
(pattern (~and form ((letrec-values ([(lp) (~and lam (#%plain-lambda args . body))]) lp*) . actuals))
(pattern ((letrec-values ([(lp) (~and lam (#%plain-lambda args . body))]) lp*) . actuals)
#:fail-unless expected #f
#:fail-unless (not (andmap type-annotation (syntax->list #'(lp . args)))) #f
#:fail-unless (free-identifier=? #'lp #'lp*) #f
(let-loop-check #'(#%plain-app . form) #'lam #'lp #'actuals #'args #'body expected))
(let-loop-check #'lam #'lp #'actuals #'args #'body expected))
;; inference for ((lambda
(pattern ((#%plain-lambda (x ...) . body) args ...)
#:fail-unless (= (length (syntax->list #'(x ...)))
@ -50,7 +50,7 @@
expected)))))
(define (let-loop-check form lam lp actuals args body expected)
(define (let-loop-check lam lp actuals args body expected)
(syntax-parse #`(#,args #,body #,actuals)
#:literals (#%plain-app if null? pair? null)
[((val acc ...)
@ -71,7 +71,7 @@
[t ann-ts])
(tc-expr/check a (ret t)))
;; then check that the function typechecks with the inferred types
(add-typeof-expr lam (tc/rec-lambda/check form args body lp ts expected))
(add-typeof-expr lam (tc/rec-lambda/check args body lp ts expected))
expected)]
;; special case `for/list'
[((val acc ...)
@ -89,7 +89,7 @@
[(tc-result1: (and t (Listof: _))) t]
[_ #f])
(generalize (-val '())))])
(add-typeof-expr lam (tc/rec-lambda/check form args body lp (cons acc-ty ts) expected))
(add-typeof-expr lam (tc/rec-lambda/check args body lp (cons acc-ty ts) expected))
expected)]
;; special case when argument needs inference
[(_ body* _)
@ -100,6 +100,6 @@
(if infer-t
(tc-expr/check/t ac (ret infer-t))
(generalize (tc-expr/t ac)))))])
(add-typeof-expr lam (tc/rec-lambda/check form args body lp ts expected))
(add-typeof-expr lam (tc/rec-lambda/check args body lp ts expected))
expected)]))

3
collects/typed-racket/typecheck/tc-lambda-unit.rkt
View File

@ -367,13 +367,12 @@
(define (tc/lambda/check form formals bodies expected)
(tc/lambda/internal form formals bodies expected))
;; form : a syntax object for error reporting
;; formals : the formal arguments to the loop
;; body : a block containing the body of the loop
;; name : the name of the loop
;; args : the types of the actual arguments to the loop
;; ret : the expected return type of the whole expression
(define (tc/rec-lambda/check form formals body name args return)
(define (tc/rec-lambda/check formals body name args return)
(with-lexical-env/extend
(syntax->list formals) args
(let* ([r (tc-results->values return)]