X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=utils%2Fext-core%2FPrimCoercions.hs;h=8dd01768071f81d60b1505b3dcf0035b8961f8f4;hp=7536cb6caf77e4152e5b5e5ee62f7f6c1fd223c4;hb=10704b34c1928dde3d0ef33fe37c3eb7b948975f;hpb=420a27dc9fb7de5fc6c96fe078ddd4dc87222d44;ds=sidebyside

diff --git a/utils/ext-core/PrimCoercions.hs b/utils/ext-core/PrimCoercions.hs
index 7536cb6..8dd0176 100644
--- 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"