diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T2538.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T2538.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T2538.stderr b/testsuite/tests/typecheck/should_fail/T2538.stderr index 726ac8fd71..768ad65fa3 100644 --- a/testsuite/tests/typecheck/should_fail/T2538.stderr +++ b/testsuite/tests/typecheck/should_fail/T2538.stderr @@ -1,15 +1,15 @@ -T2538.hs:6:6: error: +T2538.hs:7: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: +T2538.hs:10:6: error: • Illegal qualified type: Eq a => a -> a Perhaps you intended to use ImpredicativeTypes • In the type signature: g :: [Eq a => a -> a] -> Int -T2538.hs:12:6: error: +T2538.hs:13:6: error: • Illegal qualified type: Eq a => a -> a Perhaps you intended to use ImpredicativeTypes • In the type signature: h :: Ix (Eq a => a -> a) => Int |