Skip to content

Fix shadowing lacuna in OccurAnal, and an assertion bug

Simon Peyton Jones requested to merge wip/T22623 into master

Two patches in this MR:

  • One fixes #22623 (closed), a long-standing oversight. See See Note [The binder-swap substitution] (BS3)
  • The other fixes #22645 (closed), an erroneous assertion
Edited by Simon Peyton Jones

Merge request reports