Opened 5 years ago

Closed 5 years ago

#335 closed defect (fixed)

Usage analysis doesn't handle shadowing (TODO better test)

Reported by: amosrobinson Owned by:
Priority: normal Milestone: 0.4.2
Component: Unknown Version: 0.4.1
Keywords: Cc:

Description

DDC.Core.Analysis.Usage seems to be counting mentions of the shadower inside the usage map for shadowed bindings. Because of this, I’ve added an anonymise before namifying again in flow prep.

eg

let x = 5# in
let y = add# x 1# in
let x = y in
let z = x in
z

TODO add better test

Change History (1)

comment:1 Changed 5 years ago by amosrobinson

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.