X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=utils%2Fext-core%2FPrinter.hs;h=2649a0015a92ee5983267f40974761e438458529;hp=0cd8b09adf84f0c01b41833462f9d7eed6943008;hb=10704b34c1928dde3d0ef33fe37c3eb7b948975f;hpb=2ad4df602e5bb2cff0315b945fa3201749878c30

diff --git a/utils/ext-core/Printer.hs b/utils/ext-core/Printer.hs
index 0cd8b09..2649a00 100644
--- a/utils/ext-core/Printer.hs
+++ b/utils/ext-core/Printer.hs
@@ -143,6 +143,8 @@ pty (LeftCoercion t) =
     (pqname leftCoercion <+> paty t)
 pty (RightCoercion t) = 
     (pqname rightCoercion <+> paty t)
+pty (InstCoercion t1 t2) = 
+    (sep [pqname instCoercion, paty t1, paty t2])
 pty t = pbty t
 
 pappty (Tapp t1 t2) ts = pappty t1 (t2:ts)