Commit 592b4048 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Add Outputable instance for CoercionI

parent c3fe0f36
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment