pREL_TOP_HANDLER_Name = mkModuleName "GHC.TopHandler"
sYSTEM_IO_Name = mkModuleName "System.IO"
dYNAMIC_Name = mkModuleName "Data.Dynamic"
-tRAVERSE_Name = mkModuleName "Data.Traverse"
-gENERICS_Name = mkModuleName "Data.Generics"
+tYPEABLE_Name = mkModuleName "Data.Typeable"
+gENERICS_Name = mkModuleName "Data.Generics.Basics"
dOTNET_Name = mkModuleName "GHC.Dotnet"
rEAD_PREC_Name = mkModuleName "Text.ParserCombinators.ReadPrec"
-- MetaHaskell Extension text2 from Meta/work/gen.hs
mETA_META_Name = mkModuleName "Language.Haskell.THSyntax"
-dOLLAR_MAIN_Name = mkModuleName "$Main" -- Root module for initialisation
-dOLLAR_MAIN = mkHomeModule dOLLAR_MAIN_Name
-iNTERACTIVE = mkHomeModule (mkModuleName "$Interactive")
+rOOT_MAIN_Name = mkModuleName ":Main" -- Root module for initialisation
+rOOT_MAIN = mkHomeModule rOOT_MAIN_Name
+ -- The ':xxx' makes a moudle name that the user can never
+ -- use himself. The z-encoding for ':' is "ZC", so the z-encoded
+ -- module name still starts with a capital letter, which keeps
+ -- the z-encoded version consistent.
+iNTERACTIVE = mkHomeModule (mkModuleName ":Interactive")
\end{code}
%************************************************************************
mkTupNameStr Boxed 4 = (pREL_TUP_Name, mkFastString "(,,,)") -- ditto
mkTupNameStr Boxed n = (pREL_TUP_Name, mkFastString ("(" ++ nOfThem (n-1) ',' ++ ")"))
-mkTupNameStr Unboxed 0 = panic "Name.mkUbxTupNameStr: 0 ???"
+mkTupNameStr Unboxed 0 = (gHC_PRIM_Name, mkFastString "(# #)") -- 1 and 0 both make sense!!!
+--panic "Name.mkUbxTupNameStr: 0 ???"
mkTupNameStr Unboxed 1 = (gHC_PRIM_Name, mkFastString "(# #)") -- 1 and 0 both make sense!!!
mkTupNameStr Unboxed 2 = (gHC_PRIM_Name, mkFastString "(#,#)")
mkTupNameStr Unboxed 3 = (gHC_PRIM_Name, mkFastString "(#,,#)")
showSpace_RDR = varQual_RDR pREL_SHOW_Name FSLIT("showSpace")
showParen_RDR = varQual_RDR pREL_SHOW_Name FSLIT("showParen")
-typeOf_RDR = varQual_RDR dYNAMIC_Name FSLIT("typeOf")
-mkTypeRep_RDR = varQual_RDR dYNAMIC_Name FSLIT("mkAppTy")
-mkTyConRep_RDR = varQual_RDR dYNAMIC_Name FSLIT("mkTyCon")
-
-constr_RDR = dataQual_RDR gENERICS_Name FSLIT("Constr")
-gfoldl_RDR = varQual_RDR gENERICS_Name FSLIT("gfoldl")
-gfoldr_RDR = varQual_RDR gENERICS_Name FSLIT("gfoldr")
-gunfold_RDR = varQual_RDR gENERICS_Name FSLIT("gunfold")
-gmapT_RDR = varQual_RDR gENERICS_Name FSLIT("gmapT")
-gmapQ_RDR = varQual_RDR gENERICS_Name FSLIT("gmapQ")
-gmapM_RDR = varQual_RDR gENERICS_Name FSLIT("gmapM")
-conOf_RDR = varQual_RDR gENERICS_Name FSLIT("conOf")
-consOf_RDR = varQual_RDR gENERICS_Name FSLIT("consOf")
+typeOf_RDR = varQual_RDR tYPEABLE_Name FSLIT("typeOf")
+mkTypeRep_RDR = varQual_RDR tYPEABLE_Name FSLIT("mkAppTy")
+mkTyConRep_RDR = varQual_RDR tYPEABLE_Name FSLIT("mkTyCon")
undefined_RDR = varQual_RDR pREL_ERR_Name FSLIT("undefined")
\end{code}
\begin{code}
-dollarMainName = varQual dOLLAR_MAIN_Name FSLIT("main") dollarMainKey
-runIOName = varQual pREL_TOP_HANDLER_Name FSLIT("runIO") runMainKey
+rootMainName = varQual rOOT_MAIN_Name FSLIT("main") rootMainKey
+runIOName = varQual pREL_TOP_HANDLER_Name FSLIT("runIO") runMainKey
-- Stuff from GHC.Prim
superKindName = kindQual FSLIT("KX") kindConKey
ixClassName = clsQual pREL_ARR_Name FSLIT("Ix") ixClassKey
-- Class Typeable and Data
-typeableClassName = clsQual dYNAMIC_Name FSLIT("Typeable") typeableClassKey
+typeableClassName = clsQual tYPEABLE_Name FSLIT("Typeable") typeableClassKey
dataClassName = clsQual gENERICS_Name FSLIT("Data") dataClassKey
-- Enum module (Enum, Bounded)
assertIdKey = mkPreludeMiscIdUnique 53
runSTRepIdKey = mkPreludeMiscIdUnique 54
-dollarMainKey = mkPreludeMiscIdUnique 55
+rootMainKey = mkPreludeMiscIdUnique 55
runMainKey = mkPreludeMiscIdUnique 56
andIdKey = mkPreludeMiscIdUnique 57