Opened 9 years ago

Closed 9 years ago

#746 closed enhancement (fixed)

invalidating blist entry for assignment not necessary when variable is not captured

Reported by: felix winkelmann Owned by: felix winkelmann
Priority: not urgent at all Milestone:
Component: compiler Version: 4.7.x
Keywords: scrutinizer Cc:
Estimated difficulty:

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.

Change History (1)

comment:1 Changed 9 years ago by felix winkelmann

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.