[project @ 1999-11-29 17:34:14 by simonpj]

[ghc-hetmet.git] / ghc / compiler / hsSyn / HsBinds.lhs

diff --git a/ghc/compiler/hsSyn/HsBinds.lhs b/ghc/compiler/hsSyn/HsBinds.lhs
index da37e20..c09ccc3 100644 (file)
--- a/ghc/compiler/hsSyn/HsBinds.lhs
+++ b/ghc/compiler/hsSyn/HsBinds.lhs
@@ -218,7 +218,9 @@ data Sig name
                SrcLoc
 
   | ClassOpSig name            -- Selector name
-               (Maybe name)    -- Default-method name (if any)
+               name            -- Default-method name (if any)
+               Bool            -- True <=> there is an explicit, programmer-supplied
+                               -- default declaration in the class decl
                (HsType name)
                SrcLoc
 
@@ -227,9 +229,11 @@ data Sig name
                SrcLoc
 
   | InlineSig  name            -- INLINE f
+               (Maybe Int)     -- phase
                SrcLoc
 
   | NoInlineSig        name            -- NOINLINE f
+               (Maybe Int)     -- phase
                SrcLoc
 
   | SpecInstSig (HsType name)  -- (Class tys); should be a specialisation of the 
@@ -248,10 +252,10 @@ sigsForMe f sigs
   = filter sig_for_me sigs
   where
     sig_for_me (Sig         n _ _)       = f n
-    sig_for_me (ClassOpSig  n _ _ _)     = f n
+    sig_for_me (ClassOpSig  n _ _ _ _)           = f n
     sig_for_me (SpecSig     n _ _)       = f n
-    sig_for_me (InlineSig   n     _)     = f n  
-    sig_for_me (NoInlineSig n     _)     = f n  
+    sig_for_me (InlineSig   n _   _)     = f n  
+    sig_for_me (NoInlineSig n _   _)     = f n  
     sig_for_me (SpecInstSig _ _)         = False
     sig_for_me (FixSig (FixitySig n _ _)) = f n
 
@@ -260,16 +264,16 @@ isFixitySig (FixSig _) = True
 isFixitySig _         = False
 
 isClassOpSig :: Sig name -> Bool
-isClassOpSig (ClassOpSig _ _ _ _) = True
-isClassOpSig _                   = False
+isClassOpSig (ClassOpSig _ _ _ _ _) = True
+isClassOpSig _                     = False
 
 isPragSig :: Sig name -> Bool
        -- Identifies pragmas 
-isPragSig (SpecSig _ _ _)   = True
-isPragSig (InlineSig   _ _) = True
-isPragSig (NoInlineSig _ _) = True
-isPragSig (SpecInstSig _ _) = True
-isPragSig other                    = False
+isPragSig (SpecSig _ _ _)     = True
+isPragSig (InlineSig   _ _ _) = True
+isPragSig (NoInlineSig _ _ _) = True
+isPragSig (SpecInstSig _ _)   = True
+isPragSig other                      = False
 \end{code}
 
 \begin{code}
@@ -283,7 +287,7 @@ instance Outputable name => Outputable (FixitySig name) where
 ppr_sig (Sig var ty _)
       = sep [ppr var <+> dcolon, nest 4 (ppr ty)]
 
-ppr_sig (ClassOpSig var _ ty _)
+ppr_sig (ClassOpSig var _ _ ty _)
       = sep [ppr var <+> dcolon, nest 4 (ppr ty)]
 
 ppr_sig (SpecSig var ty _)
@@ -291,15 +295,18 @@ ppr_sig (SpecSig var ty _)
              nest 4 (ppr ty <+> text "#-}")
        ]
 
-ppr_sig (InlineSig var _)
-        = hsep [text "{-# INLINE", ppr var, text "#-}"]
+ppr_sig (InlineSig var phase _)
+        = hsep [text "{-# INLINE", ppr_phase phase, ppr var, text "#-}"]
 
-ppr_sig (NoInlineSig var _)
-        = hsep [text "{-# NOINLINE", ppr var, text "#-}"]
+ppr_sig (NoInlineSig var phase _)
+        = hsep [text "{-# NOINLINE", ppr_phase phase, ppr var, text "#-}"]
 
 ppr_sig (SpecInstSig ty _)
       = hsep [text "{-# SPECIALIZE instance", ppr ty, text "#-}"]
 
 ppr_sig (FixSig fix_sig) = ppr fix_sig
+
+ppr_phase Nothing = empty
+ppr_phase (Just n) = int n
 \end{code}