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