blob: 18c82bd992a1397b2ed7ed31324bc719c75c4364 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T2538.hs:6:6: error:
• Illegal qualified type: Eq a => a -> a
Perhaps you intended to use RankNTypes
• In the type signature:
f :: (Eq a => a -> a) -> Int
T2538.hs:9:6: error:
• Illegal qualified type: Eq a => a -> a
GHC doesn't yet support impredicative polymorphism
• In the type signature:
g :: [Eq a => a -> a] -> Int
T2538.hs:12:6: error:
• Illegal qualified type: Eq a => a -> a
GHC doesn't yet support impredicative polymorphism
• In the type signature:
h :: Ix (Eq a => a -> a) => Int
|