ghc-exactprint-0.5.0.0: tests/examples/ghc8/T10689.hs
module T10694 where
f :: Eq a => a -> Bool
{-# NOINLINE f #-}
f x = x==x
type Foo a b = b
{-# RULES "foo" forall (x :: Foo a Char). f x = True #-}
finkle = f 'c'
module T10694 where
f :: Eq a => a -> Bool
{-# NOINLINE f #-}
f x = x==x
type Foo a b = b
{-# RULES "foo" forall (x :: Foo a Char). f x = True #-}
finkle = f 'c'