X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FCoercion.lhs;h=faab46304421562cc7ab117447019d7bf650a5b7;hp=f7c48f4103d05f7c9898029cd83a93f90fc2aac7;hb=c80364f8e4681b34e974f5df36ecdacec7cd9cd8;hpb=9ba922ee06b048774d7a82964867ff768a78126e

diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs
index f7c48f4..faab463 100644
--- a/compiler/types/Coercion.lhs
+++ b/compiler/types/Coercion.lhs
@@ -45,7 +45,7 @@ module Coercion (
         mkNewTypeCoercion, mkFamInstCoercion, mkAppsCoercion,
         mkCsel1Coercion, mkCsel2Coercion, mkCselRCoercion, 
 
-	mkClassPPredCo, mkIParamPredCo,
+	mkClassPPredCo, mkIParamPredCo, mkEqPredCo, 
         mkCoVarCoercion, mkCoPredCo, 
 
 
@@ -458,6 +458,8 @@ mkClassPPredCo cls = (PredTy . ClassP cls)
 mkIParamPredCo :: (IPName Name) -> Coercion -> Coercion
 mkIParamPredCo ipn = (PredTy . IParam ipn)
 
+mkEqPredCo :: Coercion -> Coercion -> Coercion 
+mkEqPredCo co1 co2 = PredTy (EqPred co1 co2)
 
 
 \end{code}