Improve internal error checking.

2015-10-19 15:05:22 -05:00 · 2015-10-19 15:05:22 -05:00 · d2a7fb31bc
commit d2a7fb31bc
parent 59a61cc732
1 changed files with 3 additions and 1 deletions
--- a/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt
+++ b/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt
@ -300,7 +300,9 @@
               ;; give up on optimizing the whole let, part of it is missing type info
               ;; (not that this expansion could be optimized anyway)
               (register-ignored! form)
-               #'(c1 cs ...)])]
+               #'(c1 cs ...)]
+              [_
+               (int-err "malformed kw arg let-values ~a" #'bindings)])]
           [_ ; not the special case, leave bindings as is
            #'bindings]))
       (syntax-parse bindings*