%
-% (c) The GRASP/AQUA Project, Glasgow University, 1992-1996
+% (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
%
\section[PrelMods]{Definitions of prelude modules}
and gobbled whoever was writing the above :-) -- SOF ]
\begin{code}
-#include "HsVersions.h"
-
module PrelMods
(
- gHC__, pRELUDE, pREL_BASE,
- pREL_READ , pREL_NUM, pREL_LIST,
- pREL_TUP , pACKED_STRING, cONC_BASE,
- iO_BASE , mONAD, rATIO, iX,
- sT_BASE , aRR_BASE, fOREIGN, mAIN,
- gHC_MAIN , gHC_ERR
+ mkTupNameStr, mkUbxTupNameStr,
+
+ pREL_GHC, pRELUDE, mONAD, rATIO, iX, mAIN, pREL_MAIN, pREL_ERR,
+ pREL_BASE, pREL_NUM, pREL_LIST, pREL_TUP, pREL_ADDR, pREL_READ,
+ pREL_PACK, pREL_CONC, pREL_IO_BASE, pREL_ST, pREL_ARR, pREL_FOREIGN,
+ pREL_STABLE,
+
+ iNT, wORD
) where
-CHK_Ubiq() -- debugging consistency check
+#include "HsVersions.h"
+
+import Module ( Module, mkPrelModule, mkSrcModule )
+import Util ( nOfThem )
+import Panic ( panic )
+\end{code}
+
+\begin{code}
+pREL_GHC, pRELUDE, mONAD, rATIO, iX, mAIN, pREL_MAIN, pREL_ERR :: Module
+pREL_BASE, pREL_NUM, pREL_LIST, pREL_TUP, pREL_ADDR, pREL_READ :: Module
+pREL_PACK, pREL_CONC, pREL_IO_BASE, pREL_ST, pREL_ARR :: Module
+pREL_FOREIGN, pREL_STABLE :: Module
+
+pRELUDE = mkPrelModule "Prelude"
+pREL_GHC = mkPrelModule "PrelGHC" -- Primitive types and values
+pREL_BASE = mkPrelModule "PrelBase"
+pREL_READ = mkPrelModule "PrelRead"
+pREL_NUM = mkPrelModule "PrelNum"
+pREL_LIST = mkPrelModule "PrelList"
+pREL_TUP = mkPrelModule "PrelTup"
+pREL_PACK = mkPrelModule "PrelPack"
+pREL_CONC = mkPrelModule "PrelConc"
+pREL_IO_BASE = mkPrelModule "PrelIOBase"
+pREL_ST = mkPrelModule "PrelST"
+pREL_ARR = mkPrelModule "PrelArr"
+pREL_FOREIGN = mkPrelModule "PrelForeign"
+pREL_STABLE = mkPrelModule "PrelStable"
+pREL_ADDR = mkPrelModule "PrelAddr"
+pREL_ERR = mkPrelModule "PrelErr"
+
+mONAD = mkPrelModule "Monad"
+rATIO = mkPrelModule "Ratio"
+iX = mkPrelModule "Ix"
+
+pREL_MAIN = mkPrelModule "PrelMain"
+mAIN = mkSrcModule "Main"
+
+iNT, wORD :: Module
+
+iNT = mkSrcModule "Int"
+wORD = mkSrcModule "Word"
-import BasicTypes( SYN_IE(Module) )
\end{code}
+%************************************************************************
+%* *
+\subsection{Constructing the names of tuples
+%* *
+%************************************************************************
+
\begin{code}
-gHC__, pRELUDE, pREL_BASE, pREL_NUM, pREL_LIST, pREL_TUP :: Module
-pACKED_STRING, cONC_BASE, iO_BASE, mONAD, rATIO, iX :: Module
-sT_BASE, aRR_BASE, fOREIGN, mAIN, gHC_MAIN, gHC_ERR :: Module
-
-gHC__ = SLIT("GHC") -- Primitive types and values
-
-pRELUDE = SLIT("Prelude")
-pREL_BASE = SLIT("PrelBase")
-pREL_READ = SLIT("PrelRead")
-pREL_NUM = SLIT("PrelNum")
-pREL_LIST = SLIT("PrelList")
-pREL_TUP = SLIT("PrelTup")
-pACKED_STRING= SLIT("PackBase")
-cONC_BASE = SLIT("ConcBase")
-iO_BASE = SLIT("IOBase")
-mONAD = SLIT("Monad")
-rATIO = SLIT("Ratio")
-iX = SLIT("Ix")
-sT_BASE = SLIT("STBase")
-aRR_BASE = SLIT("ArrBase")
-fOREIGN = SLIT("Foreign")
-
-mAIN = SLIT("Main")
-gHC_MAIN = SLIT("GHCmain")
-gHC_ERR = SLIT("GHCerr")
+mkTupNameStr, mkUbxTupNameStr :: Int -> (Module, FAST_STRING)
+
+mkTupNameStr 0 = (pREL_BASE, SLIT("()"))
+mkTupNameStr 1 = panic "Name.mkTupNameStr: 1 ???"
+mkTupNameStr 2 = (pREL_TUP, _PK_ "(,)") -- not strictly necessary
+mkTupNameStr 3 = (pREL_TUP, _PK_ "(,,)") -- ditto
+mkTupNameStr 4 = (pREL_TUP, _PK_ "(,,,)") -- ditto
+mkTupNameStr n = (pREL_TUP, _PK_ ("(" ++ nOfThem (n-1) ',' ++ ")"))
+mkUbxTupNameStr 0 = panic "Name.mkUbxTupNameStr: 0 ???"
+mkUbxTupNameStr 1 = (pREL_GHC, _PK_ "(# #)") -- 1 and 0 both make sense!!!
+mkUbxTupNameStr 2 = (pREL_GHC, _PK_ "(#,#)")
+mkUbxTupNameStr 3 = (pREL_GHC, _PK_ "(#,,#)")
+mkUbxTupNameStr 4 = (pREL_GHC, _PK_ "(#,,,#)")
+mkUbxTupNameStr n = (pREL_GHC, _PK_ ("(#" ++ nOfThem (n-1) ',' ++ "#)"))
\end{code}
+
+