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
/
PrimCoercions.hs
diff --git
a/utils/ext-core/PrimCoercions.hs
b/utils/ext-core/PrimCoercions.hs
index
7536cb6
..
8dd0176
100644
(file)
--- a/
utils/ext-core/PrimCoercions.hs
+++ b/
utils/ext-core/PrimCoercions.hs
@@
-11,12
+11,14
@@
pvz :: Id -> Qual Id
pvz = (qual primMname) . (++ "zh")
{- Coercions -}
pvz = (qual primMname) . (++ "zh")
{- Coercions -}
-symCoercion, transCoercion, unsafeCoercion :: Qual Tcon
+symCoercion, transCoercion, unsafeCoercion,
+ leftCoercion, rightCoercion, instCoercion :: Qual Tcon
symCoercion = pv "sym"
transCoercion = pv "trans"
unsafeCoercion = pv "CoUnsafe"
leftCoercion = pv "left"
symCoercion = pv "sym"
transCoercion = pv "trans"
unsafeCoercion = pv "CoUnsafe"
leftCoercion = pv "left"
-rightCoercion = pv "right"
+rightCoercion = pv "right"
+instCoercion = pv "inst"
{- Addrzh -}
tcAddrzh = pvz "Addr"
{- Addrzh -}
tcAddrzh = pvz "Addr"