Alright, I opened an issue,
https://gitlab.haskell.org/ghc/ghc/-/issues/20641, and I'll make an MR
later.
Any objections if I change the implementation of
GHC.Core.Utils.eqExpr :: InScopeSet -> Expr -> Expr -> Bool
https://gitlab.haskell.org/ghc/ghc/-/blob/master/compiler/GHC/Core/Utils.hs#L2124
Huh! Dead right!
Would you like to:
* Open a ticket (you can use the text from this email)
* Submit a MR?
On the MR,
* Add a Note that again gives your killer example; and mention why we don't
need the check for NonRec
* Worth also pointing out that letrec { x = e1; y = e2 } i
