Deal with phantom type variables in rules
[ghc.git] / testsuite / tests / simplCore / should_compile / T10689.hs
1 module T10694 where
2
3 f :: Eq a => a -> Bool
4 {-# NOINLINE f #-}
5 f x = x==x
6
7 type Foo a b = b
8
9 {-# RULES "foo" forall (x :: Foo a Char). f x = True #-}
10
11 finkle = f 'c'