Skip to content

Make RULE matching insensitive to eta-expansion

Simon Peyton Jones requested to merge wip/T19790 into master

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

Merge request reports