Skip to content

shadowNames: Use OccEnv a, not [OccName]

Joachim Breitner requested to merge wip/joachim/shadowName-OccSet into master

this allows us to use a smarter implementation based on Data.IntSet.differenceWith, which should do less work. Also, it will unblock improvements to !6703 (closed).

The OccEnv a really denotes a set of OccNames. We are not using OccSet, though, because that is an OccEnv OccName, and we in !6703 (closed) we want to use this with differently-valued OccEnvs. But OccSets are readily and safely coerced into OccEnvs.

There is no other use of delLocalRdrEnvList remaining, so removing that.

Edited by Joachim Breitner

Merge request reports