import Language.Core.Core
import Language.Core.Encoding
-import Language.Core.PrimCoercions
instance Show Module where
showsPrec _ m = shows (pmodule m)
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)