diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-07-23 09:15:37 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-07-23 09:15:37 +0100 |
| commit | 9cfb3c6a775c4ace5eaff686d4acd9bced2d267f (patch) | |
| tree | bd94e7624c16021ae6d29d93d214d8e37e4b1a90 /testsuite/tests/safeHaskell/safeInfered/UnsafeInfered11_A.hs | |
| parent | 94187d0c0fadff9c57da3f78ffc67c6dd80d9619 (diff) | |
| download | haskell-9cfb3c6a775c4ace5eaff686d4acd9bced2d267f.tar.gz | |
Add some NOINLINE pragmas to satisfy the (correct) "RULE may not fire" warning
Diffstat (limited to 'testsuite/tests/safeHaskell/safeInfered/UnsafeInfered11_A.hs')
| -rw-r--r-- | testsuite/tests/safeHaskell/safeInfered/UnsafeInfered11_A.hs | 2 |
1 files changed, 2 insertions, 0 deletions
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 |