From d2a7fb31bc8bea83ba194d8ca1e4c1694c59c9d6 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 19 Oct 2015 15:05:22 -0500 Subject: [PATCH] Improve internal error checking. --- typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt b/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt index 15a9b83f..3d7d4ec2 100644 --- 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*