Fix #17334 where NCG did not properly update the CFG.
[ghc.git] / testsuite / tests / typecheck / should_compile / tc053.hs
1 module ShouldSucceed where
2
3 class Eq' a where
4 deq :: a -> a -> Bool
5
6 instance Eq' Int where
7 deq x y = True
8
9 instance (Eq' a) => Eq' [a] where
10 deq (a:as) (b:bs) = if (deq a b) then (deq as bs) else False
11
12 f x = deq x [1]