From 0c5d2297cb52a4ed1c6bde0c26c0852114ed6a50 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 18 Nov 2014 11:44:21 -0500 Subject: [PATCH] Fix internal error. 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 --- .../typed-racket/typecheck/tc-app/tc-app-values.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-values.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-values.rkt index 77fd3baf..8c4b1e62 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-values.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-values.rkt @@ -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