From b536445cdee2ad256284a780d4b1187ac3322dd9 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 12 Aug 2011 15:50:37 -0400 Subject: [PATCH] Fix visibility of arity-raised bindings. --- collects/typed-scheme/optimizer/unboxed-let.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/optimizer/unboxed-let.rkt b/collects/typed-scheme/optimizer/unboxed-let.rkt index 04cc64051e..4034924fc4 100644 --- a/collects/typed-scheme/optimizer/unboxed-let.rkt +++ b/collects/typed-scheme/optimizer/unboxed-let.rkt @@ -155,7 +155,9 @@ #:literal-sets (kernel-literals) #:attributes ([key 1] kw) (pattern (~and kw (~literal let-values)) - #:with (key ...) #'(kw)) + ;; we need let*-values because we bind intermediate unboxed results, + ;; and the bindings for the final results refer to them + #:with (key ...) #'(let*-values)) (pattern (~and kw (~literal letrec-values)) #:with (key ...) #'(kw)) (pattern (~seq (~and kw (~literal letrec-syntaxes+values)) stx-bindings)