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

Fix arity raising for letrec.

Browse Source 
original commit: 2a80582ed97e93b3c85ae8fbc21bfc7eeab05947
This commit is contained in:
Vincent St-Amour 2011-08-14 20:38:28 -04:00
parent 2bf7ce50ed
commit 086e0e7ccc
1 changed files with 12 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -101,17 +101,18 @@
(doms doms))
(cond [(null? params)
;; done. can we unbox anything?
(when (> (length unboxed) 0)
;; if so, add to the table of functions with
;; unboxed params, so we can modify its call
;; sites, its body and its header)
(log-optimization
"unboxed function -> table"
arity-raising-opt-msg
fun-name)
(dict-set! unboxed-funs-table fun-name
(list (reverse unboxed)
(reverse boxed))))]
(and (> (length unboxed) 0)
;; if so, add to the table of functions with
;; unboxed params, so we can modify its call
;; sites, its body and its header
(begin (log-optimization
"unboxed function -> table"
arity-raising-opt-msg
fun-name)
#t)
(dict-set! unboxed-funs-table fun-name
(list (reverse unboxed)
(reverse boxed))))]
[(and (equal? (car doms) -FloatComplex)
(could-be-unboxed-in?
(car params) #'(begin body ...)))