From: simonpj@microsoft.com Date: Wed, 29 Oct 2008 13:01:14 +0000 (+0000) Subject: Add Outputable instance for CoercionI X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=592b40489bc4e333d4434f841393083b01ed7ab6 Add Outputable instance for CoercionI --- diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs index 59a1a15..b247a3f 100644 --- a/compiler/types/Coercion.lhs +++ b/compiler/types/Coercion.lhs @@ -576,6 +576,10 @@ coreEqCoercion = coreEqType -- 2. The identity coercion data CoercionI = IdCo | ACo Coercion +instance Outputable CoercionI where + ppr IdCo = ptext (sLit "IdCo") + ppr (ACo co) = ppr co + isIdentityCoercion :: CoercionI -> Bool isIdentityCoercion IdCo = True isIdentityCoercion _ = False