blob: 2b091de5e96e4b17eb15af060844e97774b0f9e8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE RankNTypes #-}
{-# OPTIONS_GHC -ddump-simpl-stats #-}
-- The rule foo/bar should fire
module Roman where
foo :: (forall m. m a -> m b) -> m a -> m b
{-# NOINLINE foo #-}
foo f = f
bar :: (forall m. m a -> m a) -> m a -> m a
bar f = f
{-# RULES "foo/bar" foo = bar #-}
blip = foo id
|