X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=utils%2Fext-core%2FLanguage%2FCore%2FPrinter.hs;fp=utils%2Fext-core%2FLanguage%2FCore%2FPrinter.hs;h=d7c4cdbd21958a561ff4b43e2aa35e61f5ca15b1;hb=5a4c6ef6e909fbd978ff81bb3453489e884d1885;hp=4fef8543fa3b14b273a53574771ebc69d2f8ce31;hpb=7a410061004cedc1de8856b4f049a58c09ee6c38;p=ghc-hetmet.git

diff --git a/utils/ext-core/Language/Core/Printer.hs b/utils/ext-core/Language/Core/Printer.hs
index 4fef854..d7c4cdb 100644
--- a/utils/ext-core/Language/Core/Printer.hs
+++ b/utils/ext-core/Language/Core/Printer.hs
@@ -35,6 +35,11 @@ instance Show Ty where
 instance Show Kind where
   showsPrec _ k = shows (pkind k)
 
+instance Show CoercionKind where
+  showsPrec _ (DefinedCoercion tbs (from,to)) =
+    shows $ parens (text "defined coercion:" <+> (hsep (map ptbind tbs))
+            <+> text ":" <+> brackets (pty from)
+            <+> text "->" <+> brackets (pty to))
 instance Show Lit where
   showsPrec _ l = shows (plit l)