summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T2538.stderr
blob: 0eb8a95d3341813dab7bbca225df8b1c20f3e301 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

T2538.hs:7:6: error: [GHC-91510]
    • 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: [GHC-91510]
    • 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: [GHC-91510]
    • 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