testsuite/tests/simplCore/should_compile/T6082-RULE.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

module T6082_RULE where

-- Should warn
foo1 x = x
{-# RULES "foo1" forall x. foo1 x = x #-}

-- Should warn
foo2 x = x
{-# INLINE foo2 #-}
{-# RULES "foo2" forall x. foo2 x = x #-}

-- Should not warn
foo3 x = x
{-# NOINLINE foo3 #-}
{-# RULES "foo3" forall x. foo3 x = x #-}