[Chicken-janitors] #99: inlining may change status of contractables

[Chicken Trac]

#99: inlining may change status of contractables
----------------------+-----------------------------------------------------
 Reporter:  felix     |       Owner:  felix
     Type:  defect    |      Status:  new  
 Priority:  major     |   Milestone:  4.3.0
Component:  compiler  |     Version:  4.2.x
 Keywords:            |  
----------------------+-----------------------------------------------------
 When inlining a procedure that refers to another procedure that is marked
 as contractable (called only once and known), then the contraction will be
 duplicated and result in two copies of the same procedure, with the same
 procedure-ID's. This will break when piped through the C compiler.

 A solution is to remove the contractable status of identifiers that are
 found during the copying of the inlined body.

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