blob: bbc2c7ee944440a7665e7f5545d44d78d8a493da (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T2538.hs:7:6: error:
• Illegal qualified type: Eq a => a -> a
• In the type signature: f :: (Eq a => a -> a) -> Int
Suggested fix: Perhaps you intended to use RankNTypes
T2538.hs:10:6: error:
• Illegal qualified type: Eq a => a -> a
• In the type signature: g :: [Eq a => a -> a] -> Int
Suggested fix: Perhaps you intended to use ImpredicativeTypes
T2538.hs:13:6: error:
• Illegal qualified type: Eq a => a -> a
• In the type signature: h :: Ix (Eq a => a -> a) => Int
Suggested fix: Perhaps you intended to use ImpredicativeTypes
|