From 766bd83a98225ad818b775a0dbc8447e1f4f4b82 Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Sun, 1 Mar 2015 12:27:51 -0500 Subject: [PATCH] removed subtle latent bug in tc-let-unit there was a values mismatch bug hiding in here that hadn't ever (to my knowledge) been triggered -- perhaps this code is dead? --- typed-racket-lib/typed-racket/typecheck/tc-let-unit.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/typecheck/tc-let-unit.rkt b/typed-racket-lib/typed-racket/typecheck/tc-let-unit.rkt index a989993e..7d59f5c9 100644 --- a/typed-racket-lib/typed-racket/typecheck/tc-let-unit.rkt +++ b/typed-racket-lib/typed-racket/typecheck/tc-let-unit.rkt @@ -72,8 +72,9 @@ ;; type is a type variable) so create props about n [else (list (-or (-and (-not-filter (-val #f) n) f+) (-and (-filter (-val #f) n) f-)))]))))] + ;; amk: does this case ever occur? [(list (tc-result: e-ts (NoFilter:) _) ...) - (values e-ts null)])))) + (values e-ts (make-list (length e-ts) -empty-obj) null)])))) ;; extend the lexical environment for checking the body ;; with types and potential aliases (with-lexical-env/extend-types+aliases