Update ghc-tcplugins-extra, ghc-typelits-* for GHC 9.12 (!389) · Merge requests · Glasgow Haskell Compiler / head.hackage

sheaf requested to merge sheaf/head.hackage:wip/T25394 into master Oct 30, 2024

This commit updates ghc-tcplugins-extra, ghc-typelits-extra, ghc-typelits-natnormalise and ghc-typelits-knownnat to fix the issues identified in GHC issue #25394, by using ctEvCoercion rather than ctEvId when declaring dependencies for mkUnivCo.

Update ghc-tcplugins-extra, ghc-typelits-* for GHC 9.12

Merge request reports