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

fix keyword application handling for new expansion

Browse Source 
svn: r15864
This commit is contained in:
Sam Tobin-Hochstadt 2009-09-03 07:54:32 +00:00
parent 9e25d28a28
commit 799027d40f
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/typed-scheme/typecheck/tc-app.ss
View File

@ -417,11 +417,13 @@
(ret ts fs os))])]
;; special case for keywords
[(#%plain-app
(#%plain-app kpe kws num fn)
(#%plain-app cpce s:kp fn kpe kws num)
kw-list
(#%plain-app list . kw-arg-list)
. pos-args)
#:declare kpe (id-from 'keyword-procedure-extract 'scheme/private/kw)
#:declare cpce (id-from 'checked-procedure-check-and-extract 'scheme/private/kw)
#:declare s:kp (id-from 'struct:keyword-procedure 'scheme/private/kw)
#:declare kpe (id-from 'keyword-procedure-extract 'scheme/private/kw)
(match (tc-expr #'fn)
[(tc-result1: (Function: arities))
(tc-keywords form arities (type->list (tc-expr/t #'kws)) #'kw-arg-list #'pos-args expected)]