Fix #14934 by including axSub0R in typeNatCoAxiomRules
[ghc.git] / compiler / iface / TcIface.hs
index 7d69436..ca1a17d 100644 (file)
@@ -1810,7 +1810,7 @@ tcIfaceCoAxiomRule :: IfLclName -> IfL CoAxiomRule
 tcIfaceCoAxiomRule n
   = case Map.lookup n typeNatCoAxiomRules of
         Just ax -> return ax
-        _  -> pprPanic "go_axiom_rule" (ppr n)
+        _  -> pprPanic "tcIfaceCoAxiomRule" (ppr n)
 
 tcIfaceDataCon :: Name -> IfL DataCon
 tcIfaceDataCon name = do { thing <- tcIfaceGlobal name