suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix visibility of arity-raised bindings.

Browse Source 
original commit: b536445cdee2ad256284a780d4b1187ac3322dd9
This commit is contained in:
Vincent St-Amour 2011-08-12 15:50:37 -04:00
parent fb381b7dfd
commit 4ec5413e5f
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/optimizer/unboxed-let.rkt
View File

@ -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)