projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
External Core typechecker - improve handling of coercions
[ghc-hetmet.git]
/
utils
/
ext-core
/
Printer.hs
diff --git
a/utils/ext-core/Printer.hs
b/utils/ext-core/Printer.hs
index
0cd8b09
..
2649a00
100644
(file)
--- 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)