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

A keyword function typechecks!

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2008-09-04 15:21:39 -04:00
parent 85a0fa22d1
commit b27c3571d0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/tc-app-unit.ss
View File

@ -583,7 +583,7 @@
[else
(tc-error/expr #:return (ret (Un))
"function does not accept keyword argument ~a" k)]))
(tc/funapp #'form #'form (ret (make-Function arities)) (map tc-expr (syntax->list pos-args)) expected)]
(tc/funapp (car (syntax-e form)) kw-args (ret (make-Function arities)) (map tc-expr (syntax->list pos-args)) expected)]
[_ (int-err "case-lambda w/ keywords not supported")]))