X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FcoreSyn%2FMkExternalCore.lhs;h=de907cf214347c63d712fb3bbd9e0f54b4bbf4d8;hp=150ae16b1864b3971851f71f2aad20f92f76af72;hb=de777ba42eb12b6a20e548a959b23b60179d9b57;hpb=e513c1cc1de895fed5796d16cb67525f4b581b2a

diff --git a/compiler/coreSyn/MkExternalCore.lhs b/compiler/coreSyn/MkExternalCore.lhs
index 150ae16..de907cf 100644
--- a/compiler/coreSyn/MkExternalCore.lhs
+++ b/compiler/coreSyn/MkExternalCore.lhs
@@ -20,6 +20,7 @@ import Type
 import PprExternalCore	-- Instances
 import DataCon
 import CoreSyn
+import Coercion
 import Var
 import IdInfo
 import Literal
@@ -179,7 +180,8 @@ make_ty (NoteTy _ t) 	= make_ty t
 
 
 make_kind :: Kind -> C.Kind
-make_kind (PredTy p) | isEqPred p = panic "coercion kinds in external core not implemented!"
+make_kind (PredTy p) | isEqPred p = C.Keq (make_ty t1) (make_ty t2)
+    where (t1, t2) = getEqPredTys p
 make_kind (FunTy k1 k2)  = C.Karrow (make_kind k1) (make_kind k2)
 make_kind k
   | isLiftedTypeKind k   = C.Klifted