-instance Outputable InlSatFlag where
- ppr InlSat = ptext (sLit "sat")
- ppr InlUnSat = ptext (sLit "unsat")
-
-instance Outputable InlineRuleInfo where
- ppr (InlWrapper w) = ptext (sLit "worker=") <> ppr w
- ppr InlSmall = ptext (sLit "small")
- ppr InlAlways = ptext (sLit "always")
- ppr InlVanilla = ptext (sLit "-")
+instance Outputable UnfoldingSource where
+ ppr InlineCompulsory = ptext (sLit "Compulsory")
+ ppr (InlineWrapper w) = ptext (sLit "Worker=") <> ppr w
+ ppr InlineRule = ptext (sLit "InlineRule")
+ ppr InlineRhs = ptext (sLit "<vanilla>")