[project @ 1998-02-03 17:13:54 by simonm]
[ghc-hetmet.git] / ghc / compiler / basicTypes / IdUtils.lhs
index 3eb9021..fe04abf 100644 (file)
@@ -4,24 +4,19 @@
 \section[IdUtils]{Constructing PrimOp Ids}
 
 \begin{code}
-#include "HsVersions.h"
-
 module IdUtils ( primOpName ) where
 
-IMP_Ubiq()
-IMPORT_DELOOPER(PrelLoop)              -- here for paranoia checking
-IMPORT_DELOOPER(IdLoop) (SpecEnv)
+#include "HsVersions.h"
 
 import CoreSyn
-import CoreUnfold      ( UnfoldingGuidance(..), Unfolding, mkUnfolding )
-import Id              ( mkPrimitiveId, mkTemplateLocals )
+import CoreUnfold      ( Unfolding )
+import Id              ( mkPrimitiveId )
 import IdInfo          -- quite a few things
 import StdIdInfo
 import Name            ( mkWiredInIdName, Name )
-import PrimOp          ( primOpInfo, tagOf_PrimOp, primOp_str,
-                         PrimOpInfo(..), PrimOpResultInfo(..), PrimOp )
-import PrelMods                ( gHC__ )
-import Type            ( mkForAllTys, mkFunTy, mkFunTys, mkTyVarTy, applyTyCon )
+import PrimOp          ( primOpInfo, tagOf_PrimOp, PrimOpInfo(..), PrimOp )
+import PrelMods                ( pREL_GHC )
+import Type            ( mkForAllTys, mkFunTy, mkFunTys, mkTyConApp )
 import TysWiredIn      ( boolTy )
 import Unique          ( mkPrimOpIdUnique )
 import Util            ( panic )
@@ -47,21 +42,21 @@ primOpName op
        mk_prim_name op str
            tyvars
            arg_tys
-           (mkForAllTys tyvars (mkFunTys arg_tys (applyTyCon prim_tycon res_tys)))
+           (mkForAllTys tyvars (mkFunTys arg_tys (mkTyConApp prim_tycon res_tys)))
            (length arg_tys) -- arity
 
       AlgResult str tyvars arg_tys tycon res_tys ->
        mk_prim_name op str
            tyvars
            arg_tys
-           (mkForAllTys tyvars (mkFunTys arg_tys (applyTyCon tycon res_tys)))
+           (mkForAllTys tyvars (mkFunTys arg_tys (mkTyConApp tycon res_tys)))
            (length arg_tys) -- arity
   where
     mk_prim_name prim_op occ_name tyvar_tmpls arg_tys ty arity
       = name
       where
        key     = mkPrimOpIdUnique (IBOX(tagOf_PrimOp prim_op))
-       name    = mkWiredInIdName key gHC__ occ_name the_id
+       name    = mkWiredInIdName key pREL_GHC occ_name the_id
        the_id  = mkPrimitiveId name ty prim_op
 \end{code}