Fix #17334 where NCG did not properly update the CFG.
[ghc.git] / testsuite / tests / typecheck / should_compile / T13032.hs
1 {-# OPTIONS_GHC -ddump-ds -dsuppress-uniques #-}
2 {-# LANGUAGE GADTs #-}
3
4 module T13032 where
5
6 f :: (a ~ b) => a -> b -> Bool
7 f x y = True
8
9 -- The point of the test is to check that we don't
10 -- get a redundant superclass selection to fetch an
11 -- equality constraint out of the (a~b) dictionary
12 -- Hence -ddump-ds