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 -}
-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"
-rightCoercion   = pv "right"
+rightCoercion  = pv "right"
+instCoercion   = pv "inst"
 
 {- Addrzh -}
 tcAddrzh = pvz "Addr"