From ad93c3fbfcf8665441072cb1fc8dc0295b38280e Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sat, 2 Jul 2011 17:02:17 -0400 Subject: [PATCH] Provides better error message for PR 11889. original commit: a9655c04dd8cd150f283a5755a89b47dcd505d62 --- collects/typed-scheme/typecheck/tc-app.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/typed-scheme/typecheck/tc-app.rkt b/collects/typed-scheme/typecheck/tc-app.rkt index 09149bba..fe3f6de5 100644 --- 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))