module VectBuiltIn (
Builtins(..), sumTyCon, prodTyCon,
- initBuiltins, initBuiltinTyCons, initBuiltinPAs, initBuiltinPRs
+ initBuiltins, initBuiltinTyCons, initBuiltinPAs, initBuiltinPRs,
+
+ primMethod
) where
#include "HsVersions.h"
import TyCon ( TyCon, tyConName, tyConDataCons )
import Var ( Var )
import Id ( mkSysLocal )
-import Name ( Name )
-import OccName ( mkVarOccFS, mkOccNameFS, tcName )
+import Name ( Name, getOccString )
+import NameEnv
+import OccName
import TypeRep ( funTyCon )
-import TysPrim ( intPrimTy )
+import TysPrim
import TysWiredIn ( unitTyCon, tupleTyCon, intTyConName )
import PrelNames
import BasicTypes ( Boxity(..) )
, emptyPAVar :: Var
-- , packPAVar :: Var
-- , combinePAVar :: Var
- , intEqPAVar :: Var
, liftingContext :: Var
}
| n >= 2 && n <= mAX_NDP_PROD = tupleTyCon Boxed n
| otherwise = pprPanic "prodTyCon" (ppr n)
-
initBuiltins :: DsM Builtins
initBuiltins
= do
emptyPAVar <- dsLookupGlobalId emptyPAName
-- packPAVar <- dsLookupGlobalId packPAName
-- combinePAVar <- dsLookupGlobalId combinePAName
- intEqPAVar <- dsLookupGlobalId intEqPAName
liftingContext <- liftM (\u -> mkSysLocal FSLIT("lc") u intPrimTy)
newUnique
, emptyPAVar = emptyPAVar
-- , packPAVar = packPAVar
-- , combinePAVar = combinePAVar
- , intEqPAVar = intEqPAVar
, liftingContext = liftingContext
}
unitTyConName = tyConName unitTyCon
+
+primMethod :: TyCon -> String -> DsM (Maybe Var)
+primMethod tycon method
+ | Just suffix <- lookupNameEnv prim_ty_cons (tyConName tycon)
+ = liftM Just
+ $ dsLookupGlobalId =<< lookupOrig nDP_PRIM (mkVarOcc $ method ++ suffix)
+
+ | otherwise = return Nothing
+
+prim_ty_cons = mkNameEnv [mk_prim intPrimTyCon]
+ where
+ mk_prim tycon = (tyConName tycon, '_' : getOccString tycon)