X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FCoercion.lhs;h=756026b292f28c74ced1b357536cc278834f0e5e;hb=2e3b6bd7e00fa3faaa07ea0badee7f020a7c8306;hp=b74a8af8b7bb518cff572a8c52aab1ac49fd9149;hpb=14ddfba2df68917958afb54142bb609c66fa2110;p=ghc-hetmet.git

diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs
index b74a8af..756026b 100644
--- a/compiler/types/Coercion.lhs
+++ b/compiler/types/Coercion.lhs
@@ -42,6 +42,9 @@ module Coercion (
         transCoercionTyCon, leftCoercionTyCon, 
         rightCoercionTyCon, instCoercionTyCon, -- needed by TysWiredIn
 
+        -- Comparison
+        coreEqCoercion,
+
 	-- CoercionI
 	CoercionI(..),
 	isIdentityCoercion,
@@ -482,6 +485,12 @@ splitNewTypeRepCo_maybe (TyConApp tc tys)
 			-- This case handled by coreView
 splitNewTypeRepCo_maybe _
   = Nothing
+
+-------------------------------------
+-- Syntactic equality of coercions
+
+coreEqCoercion :: Coercion -> Coercion -> Bool
+coreEqCoercion = coreEqType
 \end{code}