blob: 4d1af91a6cb722f980b0396511a543072c8322e1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
T9939.hs:6:7: warning: [-Wredundant-constraints]
Redundant constraint: Eq a
In the type signature for:
f1 :: forall a. (Eq a, Ord a) => a -> a -> Bool
T9939.hs:10:7: warning: [-Wredundant-constraints]
Redundant constraint: Ord a
In the type signature for:
f2 :: forall a. (Eq a, Ord a) => a -> a -> Bool
T9939.hs:14:7: warning: [-Wredundant-constraints]
Redundant constraint: Eq b
In the type signature for:
f3 :: forall a b. (Eq a, a ~ b, Eq b) => a -> b -> Bool
T9939.hs:21:7: warning: [-Wredundant-constraints]
Redundant constraint: Eq b
In the type signature for:
f4 :: forall a b. (Eq a, Eq b) => a -> b -> Equal a b -> Bool
|