[Chicken-janitors] Re: #220: call-with-values rewrite rule for known producer with single-valued body

[Chicken Trac]

#220: call-with-values rewrite rule for known producer with single-valued body
-------------------------------------------+--------------------------------
 Reporter:  felix                          |       Owner:  felix
     Type:  enhancement                    |      Status:  new  
 Priority:  not urgent at all              |   Milestone:       
Component:  compiler                       |     Version:       
 Keywords:  optimization call-with-values  |  
-------------------------------------------+--------------------------------

Comment(by felix):

 Since the producer may refer to bindings not lexically visible in F, a
 better transformation would be:

 {{{
 ([##sys#]call-with-values K P F)

 ~>

 (let ((T1 (lambda (R) (F K R))))   ; continuation lambda
   (P T1))
 }}}

-- 
Ticket URL: <http://www.irp.oist.jp/trac/chicken/ticket/220#comment:1>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.