Merge branch 'master' into atomics
[ghc.git] / testsuite / tests / simplCore / should_compile / rule2.hs
1 {-# LANGUAGE RankNTypes #-}
2 {-# OPTIONS_GHC -ddump-simpl-stats #-}
3
4 -- The rule foo/bar should fire
5
6 module Roman where
7
8 foo :: (forall m. m a -> m b) -> m a -> m b
9 {-# NOINLINE foo #-}
10 foo f = f
11
12 bar :: (forall m. m a -> m a) -> m a -> m a
13 bar f = f
14
15 {-# RULES "foo/bar" foo = bar #-}
16
17 blip = foo id
18