Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make RULE matching insensitive to eta-expansion | Simon Peyton Jones | 2022-01-26 | 1 | -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 |