utils/ext-core/PrimCoercions.hs

   1 {-# OPTIONS -Wall -fno-warn-missing-signatures #-}
   2 module PrimCoercions where
   3 import Core
   4
   5 -- Stuff the parser needs to know about
   6
   7 pv :: a -> Qual a
   8 pv = qual primMname
   9
  10 pvz :: Id -> Qual Id
  11 pvz = (qual primMname) . (++ "zh")
  12
  13 {- Coercions -}
  14 symCoercion, transCoercion, unsafeCoercion :: Qual Tcon
  15 symCoercion    = pv "sym"
  16 transCoercion  = pv "trans"
  17 unsafeCoercion = pv "CoUnsafe"
  18 leftCoercion   = pv "left"
  19 rightCoercion   = pv "right"
  20
  21 {- Addrzh -}
  22 tcAddrzh = pvz "Addr"
  23 tAddrzh = Tcon tcAddrzh
  24 ktAddrzh = Kunlifted