[Chicken-janitors] #746: invalidating blist entry for assignment not necessary when variable is not captured

[Chicken Trac]

#746: invalidating blist entry for assignment not necessary when variable is not
captured
-------------------------------+--------------------------------------------
 Reporter:  felix              |       Owner:  felix
     Type:  enhancement        |      Status:  new  
 Priority:  not urgent at all  |   Milestone:       
Component:  compiler           |     Version:  4.7.x
 Keywords:  scrutinizer        |  
-------------------------------+--------------------------------------------
 Assignment of lexical variables invalidates the "blist" entry, as an
 assignment may break type-assumptions when done (for example) inside a
 closure that captures the variable. The compiler marks captured variables
 so the invalidation may be unnecessary in this case. See comment in line
 643 of `scrutinizer.scm`.

-- 
Ticket URL: <http://bugs.call-cc.org/ticket/746>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.