Make RULE matching insensitive to eta-expansion
This is an experimental patch for #19790 (closed).
It needs proper documentation and review, put I'm putting it up for CI and sharing.
The main payload in in GHC.Core.Rules
This is an experimental patch for #19790 (closed).
It needs proper documentation and review, put I'm putting it up for CI and sharing.
The main payload in in GHC.Core.Rules