diff options
| -rw-r--r-- | compiler/types/TyCoRep.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs index 7923369703..0ec5888cef 100644 --- a/compiler/types/TyCoRep.hs +++ b/compiler/types/TyCoRep.hs @@ -964,6 +964,10 @@ data MCoercion -- Other coercions type MCoercionR = MCoercion +instance Outputable MCoercion where + ppr MRefl = text "MRefl" + ppr (MCo co) = text "MCo" <+> ppr co + {- Note [Refl invariant] ~~~~~~~~~~~~~~~~~~~~~ |