testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T9939.stderr
1
2 T9939.hs:6:1: warning: [-Wredundant-constraints]
3     • Redundant constraint: Eq a
4     • In the type signature for:
5            f1 :: forall a. (Eq a, Ord a) => a -> a -> Bool
6
7 T9939.hs:10:1: warning: [-Wredundant-constraints]
8     • Redundant constraint: Eq a
9     • In the type signature for:
10            f2 :: forall a. (Eq a, Ord a) => a -> a -> Bool
11
12 T9939.hs:14:1: warning: [-Wredundant-constraints]
13     • Redundant constraint: Eq b
14     • In the type signature for:
15            f3 :: forall a b. (Eq a, a ~ b, Eq b) => a -> b -> Bool
16
17 T9939.hs:21:1: warning: [-Wredundant-constraints]
18     • Redundant constraint: Eq a
19     • In the type signature for:
20            f4 :: forall a b. (Eq a, Eq b) => a -> b -> Equal a b -> Bool