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

Thinkoed, all of them should have -lst added.

Browse Source
This commit is contained in:
Stevie Strickland 2008-06-18 16:10:54 -04:00
parent 6986b12618
commit 3e4e5af03c
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-scheme/private/tc-lambda-unit.ss
View File

@ -80,11 +80,11 @@
[else
(let ([rest-type (cond
[rest-ty rest-ty]
[(type-annotation rest) (-lst (get-type rest))]
[(< arg-len tys-len) (-lst (list-ref arg-tys arg-len))]
[else (-lst (Un))])])
[(type-annotation rest) (get-type rest)]
[(< arg-len tys-len) (list-ref arg-tys arg-len)]
[else (Un)])])
(with-lexical-env/extend
(list rest) (list rest-type)
(list rest) (list (-lst rest-type))
(check-body)))])))
(syntax-case args ()
[(args* ...)