X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=utils%2Fext-core%2FLanguage%2FCore%2FPrimCoercions.hs;fp=utils%2Fext-core%2FLanguage%2FCore%2FPrimCoercions.hs;h=0000000000000000000000000000000000000000;hp=e6851d873cc5705c5104be066c82a69016dde0c4;hb=0434f5bf9a2712a99e9e6c99d67991a3f09af91d;hpb=e6232609a0b08ff7136a479f2e2d7d2be5040b1d

diff --git a/utils/ext-core/Language/Core/PrimCoercions.hs b/utils/ext-core/Language/Core/PrimCoercions.hs
deleted file mode 100644
index e6851d8..0000000
--- a/utils/ext-core/Language/Core/PrimCoercions.hs
+++ /dev/null
@@ -1,26 +0,0 @@
-{-# OPTIONS -Wall -fno-warn-missing-signatures #-}
-module Language.Core.PrimCoercions where
-import Language.Core.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