From 7b6013272bdadb99002b048bde8e70ec4a5ec9b8 Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Tue, 22 Nov 2016 11:05:43 -0500 Subject: [PATCH] fix contract bug --- typed-racket-lib/typed-racket/typecheck/tc-let-unit.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 851f42be..e1820ad1 100644 --- a/typed-racket-lib/typed-racket/typecheck/tc-let-unit.rkt +++ b/typed-racket-lib/typed-racket/typecheck/tc-let-unit.rkt @@ -60,10 +60,10 @@ (for/and ([ns (in-list nss)] [ts (in-list tss)]) (= (length ns) (length ts)))) - [result (values (listof identifier?) - (listof Type?) - (listof OptObject?) - (listof Prop?))]) + (values [names (listof identifier?)] + [types (listof Type?)] + [aliased-objs (listof OptObject?)] + [props (listof Prop?)])) (for*/lists (idents types aliased-objects propositions) ([(names results) (in-parallel (in-list namess) (in-list rhs-typess))] [(name result) (in-parallel (in-list names) (in-list results))])