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

Fix internal error.

Browse Source 
Needs a real fix in the future to actually support this case.
Noted in a program from Matthias Felleisen.

Fixes PR 14841.

original commit: a64dadc78c54fc04bfa8ac8ae9649f4178f0ae25
This commit is contained in:
Sam Tobin-Hochstadt 2014-11-18 11:44:21 -05:00
parent 0d4b3e6a92
commit 0c5d2297cb
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-values.rkt
View File

@ -22,6 +22,8 @@
(match (tc/funapp #'prod #'() (tc-expr/t #'prod) null #f)
[(tc-results: ts fs os)
(tc/funapp #'con #'(prod) (tc-expr/t #'con) (map ret ts fs os) expected)]
[(tc-results: ts fs os drest dbound)
(tc-error/expr "`call-with-values` with ... is not supported")]
[(tc-any-results: _)
(tc/app-regular this-syntax expected)]))
;; special case for `values' with single argument