[project @ 2000-06-14 14:16:45 by simonmar]

isNeverInlinePrag returned False for a NOINLINE pragma, which seems
wrong to me.  4.07 also has this bug, and it's why Memo is going wrong.

diff --git a/ghc/compiler/basicTypes/IdInfo.lhs b/ghc/compiler/basicTypes/IdInfo.lhs
index 8cc168d..f73ba4f 100644 (file)
--- a/ghc/compiler/basicTypes/IdInfo.lhs
+++ b/ghc/compiler/basicTypes/IdInfo.lhs
@@ -331,11 +331,11 @@ data InlinePragInfo
        -- exact significance of the IMustNotBeINLINEd pragma
 
 isNeverInlinePrag :: InlinePragInfo -> Bool
-isNeverInlinePrag (IMustNotBeINLINEd True Nothing) = True
-isNeverInlinePrag other                                   = False
+isNeverInlinePrag (IMustNotBeINLINEd _ Nothing) = True
+isNeverInlinePrag other                                = False
 
 neverInlinePrag :: InlinePragInfo
-neverInlinePrag = IMustNotBeINLINEd True Nothing
+neverInlinePrag = IMustNotBeINLINEd True{-should be False? --SDM -} Nothing
 
 instance Outputable InlinePragInfo where
   -- This is now parsed in interface files