Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / T2538.stderr
1
2 T2538.hs:6:6: error:
3     • Illegal qualified type: Eq a => a -> a
4       Perhaps you intended to use RankNTypes or Rank2Types
5     • In the type signature:
6         f :: (Eq a => a -> a) -> Int
7
8 T2538.hs:9:6: error:
9     • Illegal qualified type: Eq a => a -> a
10       GHC doesn't yet support impredicative polymorphism
11     • In the type signature:
12         g :: [Eq a => a -> a] -> Int
13
14 T2538.hs:12:6: error:
15     • Illegal qualified type: Eq a => a -> a
16       GHC doesn't yet support impredicative polymorphism
17     • In the type signature:
18         h :: Ix (Eq a => a -> a) => Int