Add some NOINLINE pragmas to satisfy the (correct) "RULE may not fire" warning

2 files changed, 3 insertions, 0 deletions

diff --git a/testsuite/tests/safeHaskell/safeInfered/UnsafeInfered05_A.hs b/testsuite/tests/safeHaskell/safeInfered/UnsafeInfered05_A.hs
index 4d147716f5..e0cabff549 100644
--- a/testsuite/tests/safeHaskell/safeInfered/UnsafeInfered05_A.hs
+++ b/testsuite/tests/safeHaskell/safeInfered/UnsafeInfered05_A.hs
@@ -5,6 +5,7 @@
 module UnsafeInfered05_A where
 
 {-# RULES "f" f = undefined #-}
+{-# NOINLINE [1] f #-}
 f :: Int
 f = 1
 
diff --git a/testsuite/tests/safeHaskell/safeInfered/UnsafeInfered11_A.hs b/testsuite/tests/safeHaskell/safeInfered/UnsafeInfered11_A.hs
index 9d1d2ecf31..d209dcf5fe 100644
--- a/testsuite/tests/safeHaskell/safeInfered/UnsafeInfered11_A.hs
+++ b/testsuite/tests/safeHaskell/safeInfered/UnsafeInfered11_A.hs
@@ -15,6 +15,8 @@ lookupx ((t,a):xs) t' | t == t'   = Just a
                       | otherwise = lookupx xs t'
 
 {-# RULES "lookupx/T" lookupx = tLookup #-}
+{-# NOINLINE [1] lookupx #-}
+
 tLookup :: [(T,a)] -> T -> Maybe a
 tLookup [] _                      = Nothing
 tLookup ((t,a):xs) t' | t /= t'   = Just a