Skip to content

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

sheaf requested to merge sheaf/head.hackage:wip/T25394 into master

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.

Merge request reports