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:


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.


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

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.