Provides better error message for PR 11889.

2011-07-02 17:02:17 -04:00 · 2011-07-02 17:02:17 -04:00 · a9655c04dd
commit a9655c04dd
parent 0b76178138
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))