[project @ 1996-01-08 20:28:12 by partain]
[ghc-hetmet.git] / ghc / compiler / absCSyn / HeapOffs.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface HeapOffs where
3 import CharSeq(CSeq)
4 import Maybes(Labda)
5 import Pretty(PprStyle)
6 import SMRep(SMRep)
7 data HeapOffset 
8 type HpRelOffset = HeapOffset
9 type SpARelOffset = Int
10 type SpBRelOffset = Int
11 type VirtualHeapOffset = HeapOffset
12 type VirtualSpAOffset = Int
13 type VirtualSpBOffset = Int
14 addOff :: HeapOffset -> HeapOffset -> HeapOffset
15         {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_ #-}
16 fixedHdrSize :: HeapOffset
17         {-# GHC_PRAGMA _A_ 0 _N_ _N_ _N_ _N_ _N_ #-}
18 intOff :: Int -> HeapOffset
19         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "U(P)" {_A_ 1 _U_ 2 _N_ _N_ _N_ _N_} _N_ _N_ #-}
20 intOffsetIntoGoods :: HeapOffset -> Labda Int
21         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-}
22 isZeroOff :: HeapOffset -> Bool
23         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-}
24 maxOff :: HeapOffset -> HeapOffset -> HeapOffset
25         {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_ #-}
26 possiblyEqualHeapOffset :: HeapOffset -> HeapOffset -> Bool
27         {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _S_ "LS" _N_ _N_ #-}
28 pprHeapOffset :: PprStyle -> HeapOffset -> CSeq
29         {-# GHC_PRAGMA _A_ 2 _U_ 21 _N_ _S_ "LS" _N_ _N_ #-}
30 subOff :: HeapOffset -> HeapOffset -> HeapOffset
31         {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _S_ "LS" _N_ _N_ #-}
32 totHdrSize :: SMRep -> HeapOffset
33         {-# GHC_PRAGMA _A_ 1 _U_ 2 _N_ _S_ "S" _N_ _N_ #-}
34 varHdrSize :: SMRep -> HeapOffset
35         {-# GHC_PRAGMA _A_ 1 _U_ 2 _N_ _S_ "S" _N_ _N_ #-}
36 zeroOff :: HeapOffset
37         {-# GHC_PRAGMA _A_ 0 _N_ _N_ _N_ _N_ _N_ #-}
38