2 % (c) The AQUA Project, Glasgow University, 1994-1998
5 \section[PrelAddr]{Module @PrelAddr@}
8 {-# OPTIONS -fno-implicit-prelude #-}
13 , plusAddr -- :: Addr -> Int -> Addr
14 , indexAddrOffAddr -- :: Addr -> Int -> Addr
29 data Addr = A# Addr# deriving (Eq, Ord)
30 data Word = W# Word# deriving (Eq, Ord)
32 instance Show Addr where
33 showsPrec p (A# a) = showsPrec p (I# (addr2Int# a))
38 plusAddr :: Addr -> Int -> Addr
39 plusAddr (A# addr) (I# off) = A# (int2Addr# (addr2Int# addr +# off))
41 instance CCallable Addr
42 instance CCallable Addr#
43 instance CReturnable Addr
45 instance CCallable Word
46 instance CCallable Word#
47 instance CReturnable Word
49 wordToInt :: Word -> Int
50 wordToInt (W# w#) = I# (word2Int# w#)
52 #if WORD_SIZE_IN_BYTES == 8
53 data Word64 = W64# Word#
54 data Int64 = I64# Int#
56 data Word64 = W64# Word64# --deriving (Eq, Ord) -- Glasgow extension
57 data Int64 = I64# Int64# --deriving (Eq, Ord) -- Glasgow extension
59 instance CCallable Word64#
60 instance CCallable Int64#
63 instance CCallable Word64
64 instance CReturnable Word64
66 instance CCallable Int64
67 instance CReturnable Int64
69 indexAddrOffAddr :: Addr -> Int -> Addr
70 indexAddrOffAddr (A# addr#) n
71 = case n of { I# n# ->
72 case indexAddrOffAddr# addr# n# of { r# ->