X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=utils%2Fext-core%2FLanguage%2FCore%2FPrinter.hs;h=bbd8e48c3253507109646fe95e3a981d6222b08c;hb=e87a19501df36650835a86795fd92f9847fd9905;hp=0a3e2cf7e12e823ee26d9b7a8b4aa45306588243;hpb=b84b5969798530dbf5be9b8bb795b77e5dfbf042;p=ghc-hetmet.git

diff --git a/utils/ext-core/Language/Core/Printer.hs b/utils/ext-core/Language/Core/Printer.hs
index 0a3e2cf..bbd8e48 100644
--- a/utils/ext-core/Language/Core/Printer.hs
+++ b/utils/ext-core/Language/Core/Printer.hs
@@ -7,7 +7,6 @@ import Data.Char
 
 import Language.Core.Core
 import Language.Core.Encoding
-import Language.Core.PrimCoercions
 
 instance Show Module where
   showsPrec _ m = shows (pmodule m)
@@ -128,17 +127,17 @@ pbty t = paty t
 pty (Tapp(Tapp(Tcon tc) t1) t2) | tc == tcArrow = fsep [pbty t1, text "->",pty t2]
 pty (Tforall tb t) = text "%forall" <+> pforall [tb] t
 pty (TransCoercion t1 t2) = 
-    (sep ([pqname transCoercion, paty t1, paty t2]))
+    (sep ([text "%trans", paty t1, paty t2]))
 pty (SymCoercion t) = 
-    (sep [pqname symCoercion, paty t])
+    (sep [text "%sym", paty t])
 pty (UnsafeCoercion t1 t2) = 
-    (sep [pqname unsafeCoercion, paty t1, paty t2])
+    (sep [text "%unsafe", paty t1, paty t2])
 pty (LeftCoercion t) = 
-    (pqname leftCoercion <+> paty t)
+    (text "%left" <+> paty t)
 pty (RightCoercion t) = 
-    (pqname rightCoercion <+> paty t)
+    (text "%right" <+> paty t)
 pty (InstCoercion t1 t2) = 
-    (sep [pqname instCoercion, paty t1, paty t2])
+    (sep [text "%inst", paty t1, paty t2])
 pty t = pbty t
 
 pappty (Tapp t1 t2) ts = pappty t1 (t2:ts)