Provides better error message for PR 11889.

original commit: a9655c04dd8cd150f283a5755a89b47dcd505d62
2011-07-02 17:02:17 -04:00 · 2011-07-02 17:02:17 -04:00 · ad93c3fbfc
commit ad93c3fbfc
parent f357d4c0ce
1 changed files with 1 additions and 0 deletions
--- a/collects/typed-scheme/typecheck/tc-app.rkt
+++ b/collects/typed-scheme/typecheck/tc-app.rkt
@ -563,6 +563,7 @@
        (match (map single-value (syntax->list #'pos-args))
          [(list (tc-result1: argtys-t) ...)
           (let* ([subst (infer vars null argtys-t dom rng (and expected (tc-results->values expected)))])
+             (unless subst (fail))
             (tc-keywords form (list (subst-all subst ar))
                          (type->list (tc-expr/t #'kws)) #'kw-arg-list #'pos-args expected))])]
       [(tc-result1: (Function: arities))