[project @ 1999-03-11 11:32:22 by simonm]

[ghc-hetmet.git] / ghc / compiler / absCSyn / AbsCSyn.lhs

diff --git a/ghc/compiler/absCSyn/AbsCSyn.lhs b/ghc/compiler/absCSyn/AbsCSyn.lhs
index ad4257c..dfaf400 100644 (file)
--- a/ghc/compiler/absCSyn/AbsCSyn.lhs
+++ b/ghc/compiler/absCSyn/AbsCSyn.lhs
@@ -1,7 +1,7 @@
 %
 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
 %
-% $Id: AbsCSyn.lhs,v 1.18 1998/12/02 13:17:16 simonm Exp $
+% $Id: AbsCSyn.lhs,v 1.21 1999/03/11 11:32:22 simonm Exp $
 %
 \section[AbstractC]{Abstract C: the last stop before machine code}
 
@@ -77,8 +77,8 @@ stored in a mixed type location.)
 
 \begin{code}
   | CAssign
-       CAddrMode       -- target
-       CAddrMode       -- source
+       !CAddrMode      -- target
+       !CAddrMode      -- source
 
   | CJump
        CAddrMode       -- Put this in the program counter
@@ -95,7 +95,7 @@ stored in a mixed type location.)
        CAddrMode       -- Any base address mode
        ReturnInfo      -- How to get the return address from the base address
 
-  | CSwitch CAddrMode
+  | CSwitch !CAddrMode
        [(Literal, AbstractC)]  -- alternatives
        AbstractC               -- default; if there is no real Abstract C in here
                                -- (e.g., all comments; see function "nonemptyAbsC"),
@@ -146,7 +146,7 @@ stored in a mixed type location.)
        AbstractC
 
   | CRetDirect                 -- Direct return
-        Unique                 -- for making labels
+        !Unique                        -- for making labels
        AbstractC               -- return code
        (CLabel,SRT)            -- SRT info
        Liveness                -- stack liveness at the return point
@@ -185,7 +185,6 @@ stored in a mixed type location.)
        AbstractC               -- Slow entry point code
        (Maybe AbstractC)
                                -- Fast entry point code, if any
-       (CLabel,SRT)            -- SRT info
        String                  -- Closure description; NB we can't get this
                                -- from ClosureInfo, because the latter refers 
                                -- to the *right* hand side of a defn, whereas
@@ -302,7 +301,7 @@ data CAddrMode
                CAddrMode   -- Offset
                PrimRep    -- For casting
 
-  | CTemp Unique PrimRep       -- Temporary locations
+  | CTemp !Unique !PrimRep     -- Temporary locations
        -- ``Temporaries'' correspond to local variables in C, and registers in
        -- native code.