Cabalize ext-core tools

[ghc-hetmet.git] / utils / ext-core / PrimCoercions.hs

diff --git a/utils/ext-core/PrimCoercions.hs b/utils/ext-core/PrimCoercions.hs
deleted file mode 100644 (file)
index 8dd0176..0000000
--- a/utils/ext-core/PrimCoercions.hs
+++ /dev/null
@@ -1,26 +0,0 @@
-{-# OPTIONS -Wall -fno-warn-missing-signatures #-}
-module PrimCoercions where
-import Core
-
--- Stuff the parser needs to know about
-
-pv :: a -> Qual a
-pv = qual primMname
-
-pvz :: Id -> Qual Id
-pvz = (qual primMname) . (++ "zh")
-
-{- Coercions -}
-symCoercion, transCoercion, unsafeCoercion,
- leftCoercion, rightCoercion, instCoercion :: Qual Tcon
-symCoercion    = pv "sym"
-transCoercion  = pv "trans"
-unsafeCoercion = pv "CoUnsafe"
-leftCoercion   = pv "left"
-rightCoercion  = pv "right"
-instCoercion   = pv "inst"
-
-{- Addrzh -}
-tcAddrzh = pvz "Addr"
-tAddrzh = Tcon tcAddrzh
-ktAddrzh = Kunlifted