X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FCoercion.lhs;h=1e071ebd17c1e233c8ee188df74a5c4ac21f6694;hb=87b3c589498941332029a8a9da35e94a6139f0eb;hp=98b5a0721b59ae03c0c8af44ad4a228fd9a2de17;hpb=701797c3f724090508e06ded276723edfa431ab4;p=ghc-hetmet.git diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs index 98b5a07..1e071eb 100644 --- a/compiler/types/Coercion.lhs +++ b/compiler/types/Coercion.lhs @@ -444,7 +444,7 @@ splitNewTypeRepCo_maybe other = Nothing -- CoercionI is either -- (a) proper coercion -- (b) the identity coercion -data CoercionI = IdCo | ACo Coercion +data CoercionI = IdCo | ACo Coercion isIdentityCoercion :: CoercionI -> Bool isIdentityCoercion IdCo = True