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

Clean up of tc-app.rkt.

Browse Source 
original commit: dd078dcb950a99d267c8abdd69e7c5dd1de0ba5f
This commit is contained in:
Eric Dobson 2012-06-15 21:19:48 -07:00 committed by Sam Tobin-Hochstadt
parent e02e4bbe11
commit 6d683c97a6
1 changed files with 5 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -707,8 +707,7 @@
(ret (apply -lst* tys)))]))]
;; special case for `list*'
[(#%plain-app list* . args)
(match-let* ([(list last tys-r ...) (reverse (map tc-expr/t (syntax->list #'args)))]
[tys (reverse tys-r)])
(match-let* ([(list tys ... last) (map tc-expr/t (syntax->list #'args))])
(ret (foldr make-Pair last tys)))]
;; special case for `reverse' to propagate expected type info
[(#%plain-app (~or reverse k:reverse) arg)
@ -748,6 +747,10 @@
(tc/let-values #'((x) ... (rst)) #`(fixed-args ... varg) #'body
#'(let-values ([(x) fixed-args] ... [(rst) varg]) . body)
expected)))]
[else (tc/app/regular form expected)])))
(define (tc/app/regular form expected)
(syntax-parse form #:literals (#%plain-app)
[(#%plain-app f . args)
(let* ([f-ty (single-value #'f)])
(match f-ty
@ -777,15 +780,3 @@
(define (tc/app/check form expected)
(define t (tc/app/internal form expected))
(check-below t expected))
(define (object-index os i)
(unless (number? i)
(int-err "object-index for keywords NYI"))
(list-ref os i))
;; in-indexes : Listof[Type] -> Sequence[index/c]
(define (in-indexes dom)
(in-range (length dom)))