projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Change a use of xargs to "$(XARGS)" $(XARGS_OPTS)
[ghc-hetmet.git]
/
utils
/
ext-core
/
Language
/
Core
/
Printer.hs
diff --git
a/utils/ext-core/Language/Core/Printer.hs
b/utils/ext-core/Language/Core/Printer.hs
index
4fef854
..
d7c4cdb
100644
(file)
--- 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 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)
instance Show Lit where
showsPrec _ l = shows (plit l)