Skip to content

Update typenats plugins for GHC 9.13

sheaf requested to merge sheaf/head.hackage:tcplugins-9.13 into master

This MR updates ghc-tcplugins-extra and hc-typelits-natnormalise to account for the following minor renaming changes:

isEqPred     -->  isEqClassPred
isEqPrimPred -->  isEqPred
mkPrimEqPred -->  mkNomEqPred

from the GHC commit 0225249a43a49e1ef36de14d28a7aadd7c796a95.

Edited by sheaf

Merge request reports