[project @ 2003-06-10 17:54:56 by sof]
[ghc-hetmet.git] / ghc / compiler / prelude / PrimOp.lhs
index 4b4f0cc..94d42a0 100644 (file)
@@ -7,7 +7,7 @@
 module PrimOp (
        PrimOp(..), allThePrimOps,
        primOpType, primOpSig, primOpArity,
-       mkPrimOpIdName, primOpRdrName, primOpTag, primOpOcc,
+       mkPrimOpIdName, primOpTag, primOpOcc,
 
        commutableOp,
 
@@ -15,7 +15,12 @@ module PrimOp (
        primOpOkForSpeculation, primOpIsCheap, primOpIsDupable,
        primOpHasSideEffects,
 
-       getPrimOpResultInfo,  PrimOpResultInfo(..)
+       getPrimOpResultInfo,  PrimOpResultInfo(..),
+
+       eqCharName, eqIntName, neqIntName,
+       ltCharName, eqWordName, ltWordName, eqAddrName, ltAddrName,
+       eqFloatName, ltFloatName, eqDoubleName, ltDoubleName, 
+       ltIntName, geIntName, leIntName, minusIntName, tagToEnumName    
     ) where
 
 #include "HsVersions.h"
@@ -27,14 +32,13 @@ import TysWiredIn
 import NewDemand
 import Var             ( TyVar )
 import Name            ( Name, mkWiredInName )
-import RdrName         ( RdrName, mkRdrOrig )
 import OccName         ( OccName, pprOccName, mkVarOcc )
 import TyCon           ( TyCon, isPrimTyCon, tyConPrimRep )
 import Type            ( Type, mkForAllTys, mkFunTy, mkFunTys, typePrimRep, tyConAppTyCon )
 import PprType          () -- get at Outputable Type instance.
 import Unique          ( mkPrimOpIdUnique )
 import BasicTypes      ( Arity, Boxity(..) )
-import PrelNames       ( pREL_GHC, pREL_GHC_Name )
+import PrelNames       ( gHC_PRIM )
 import Outputable
 import FastTypes
 \end{code}
@@ -395,10 +399,7 @@ mkPrimOpIdName :: PrimOp -> Name
        -- We have to pass in the Id itself because it's a WiredInId
        -- and hence recursive
 mkPrimOpIdName op
-  = mkWiredInName pREL_GHC (primOpOcc op) (mkPrimOpIdUnique (primOpTag op))
-
-primOpRdrName :: PrimOp -> RdrName 
-primOpRdrName op = mkRdrOrig pREL_GHC_Name (primOpOcc op)
+  = mkWiredInName gHC_PRIM (primOpOcc op) (mkPrimOpIdUnique (primOpTag op))
 
 primOpOcc :: PrimOp -> OccName
 primOpOcc op = case (primOpInfo op) of
@@ -467,14 +468,38 @@ compare_fun_ty ty = mkFunTys [ty, ty] boolTy
 Output stuff:
 \begin{code}
 pprPrimOp  :: PrimOp -> SDoc
-pprPrimOp other_op
-  = getPprStyle $ \ sty ->
-    if ifaceStyle sty then     -- For interfaces Print it qualified with PrelGHC.
-       ptext SLIT("PrelGHC.") <> pprOccName occ
-    else
-       pprOccName occ
-  where
-    occ = primOpOcc other_op
+pprPrimOp other_op = pprOccName (primOpOcc other_op)
 \end{code}
 
 
+%************************************************************************
+%*                                                                     *
+       Names for some primops (for ndpFlatten/FlattenMonad.lhs)
+%*                                                                     *
+%************************************************************************
+
+\begin{code}
+eqIntName      = mkPrimOpIdName IntEqOp
+ltIntName      = mkPrimOpIdName IntLtOp
+geIntName      = mkPrimOpIdName IntGeOp
+leIntName      = mkPrimOpIdName IntLeOp
+neqIntName     = mkPrimOpIdName IntNeOp
+minusIntName   = mkPrimOpIdName IntSubOp
+
+eqCharName     = mkPrimOpIdName CharEqOp
+ltCharName     = mkPrimOpIdName CharLtOp
+
+eqFloatName    = mkPrimOpIdName FloatEqOp
+ltFloatName    = mkPrimOpIdName FloatLtOp
+
+eqDoubleName   = mkPrimOpIdName DoubleEqOp
+ltDoubleName   = mkPrimOpIdName DoubleLtOp
+
+eqWordName     = mkPrimOpIdName WordEqOp
+ltWordName     = mkPrimOpIdName WordLtOp
+
+eqAddrName     = mkPrimOpIdName AddrEqOp
+ltAddrName     = mkPrimOpIdName AddrLtOp
+
+tagToEnumName  = mkPrimOpIdName TagToEnumOp
+\end{code}