diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-02-22 21:32:51 +0100 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-02-23 12:28:00 +0100 |
| commit | 28620ba6a7968ef3ab589f62ac761fffe4f42caa (patch) | |
| tree | 3afb97d348e13b69eea352338c0615d614fe934e /testsuite/tests/typecheck/should_fail/T2538.stderr | |
| parent | 42f06f6821a221b88d67b0adc110eea78c159d7f (diff) | |
| download | haskell-28620ba6a7968ef3ab589f62ac761fffe4f42caa.tar.gz | |
Testsuite: delete Windows line endings [skip ci] (#11631)
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T2538.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T2538.stderr | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T2538.stderr b/testsuite/tests/typecheck/should_fail/T2538.stderr index 82ff1c74f4..dc87c5d9c9 100644 --- a/testsuite/tests/typecheck/should_fail/T2538.stderr +++ b/testsuite/tests/typecheck/should_fail/T2538.stderr @@ -1,18 +1,18 @@ -
-T2538.hs:6:6: error:
- • Illegal qualified type: Eq a => a -> a
- Perhaps you intended to use RankNTypes or Rank2Types
- • 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
+ +T2538.hs:6:6: error: + • Illegal qualified type: Eq a => a -> a + Perhaps you intended to use RankNTypes or Rank2Types + • 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 |