summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore/should_compile/T19790.hs
Commit message (Collapse)AuthorAgeFilesLines
* Make RULE matching insensitive to eta-expansionSimon Peyton Jones2022-01-261-0/+19
This patch fixes #19790 by making the rule matcher do on-the-fly eta reduction. See Note [Eta reduction the target] in GHC.Core.Rules I found I also had to careful about casts when matching; see Note [Casts in the target] and Note [Casts in the template] Lots more comments and Notes in the rule matcher