Summary
invalidating blist entry for assignment not necessary when variable is not captured
Metadata
- Id: 64ae82a48f0a1529d5706adb6de30951c90bc5b8
- Trac id: 746
- Type: enhancement
- Reporter: felix
- Owner: felix
- Cc:
- Status: closed
- Component: compiler
- Estimated difficulty:
- Resolution: fixed
- Priority: not urgent at all
- Milestone:
- Version: 4.7.x
- Changetime: 2012-01-30 08:38:28 UTC
- Created: 2011-12-13 13:27:33 UTC
- Keywords: scrutinizer
Description
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`.