diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2016-02-27 18:26:32 +0100 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2016-02-27 18:27:35 +0100 |
| commit | 82f200b74ac1ea8c5593e2909c0033eb251eeaf2 (patch) | |
| tree | 9722557ea4b404a31c3041c4929b4e2e31f21bb7 /testsuite/tests/typecheck | |
| parent | 869d9c62d8329022f9f5504a92d2d74efec4f2e8 (diff) | |
| download | haskell-82f200b74ac1ea8c5593e2909c0033eb251eeaf2.tar.gz | |
Annotate `[-Wredundant-constraints]` in warnings (re #10752)
This was missed in bb5afd3c274011c5ea302210b4c290ec1f83209c
Diffstat (limited to 'testsuite/tests/typecheck')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T10632.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T9939.stderr | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T10632.stderr b/testsuite/tests/typecheck/should_compile/T10632.stderr index 8e72f42971..211972df0a 100644 --- a/testsuite/tests/typecheck/should_compile/T10632.stderr +++ b/testsuite/tests/typecheck/should_compile/T10632.stderr @@ -1,5 +1,5 @@ -T10632.hs:3:1: warning: +T10632.hs:3:1: warning: [-Wredundant-constraints] • Redundant constraint: ?file1::String • In the type signature for: f :: (?file1::String) => IO () diff --git a/testsuite/tests/typecheck/should_compile/T9939.stderr b/testsuite/tests/typecheck/should_compile/T9939.stderr index 106335e8ba..a10066b606 100644 --- a/testsuite/tests/typecheck/should_compile/T9939.stderr +++ b/testsuite/tests/typecheck/should_compile/T9939.stderr @@ -1,20 +1,20 @@ -T9939.hs:5:1: warning: +T9939.hs:5:1: warning: [-Wredundant-constraints] • Redundant constraint: Eq a • In the type signature for: f1 :: (Eq a, Ord a) => a -> a -> Bool -T9939.hs:9:1: warning: +T9939.hs:9:1: warning: [-Wredundant-constraints] • Redundant constraint: Eq a • In the type signature for: f2 :: (Eq a, Ord a) => a -> a -> Bool -T9939.hs:13:1: warning: +T9939.hs:13:1: warning: [-Wredundant-constraints] • Redundant constraint: Eq b • In the type signature for: f3 :: (Eq a, a ~ b, Eq b) => a -> b -> Bool -T9939.hs:20:1: warning: +T9939.hs:20:1: warning: [-Wredundant-constraints] • Redundant constraint: Eq a • In the type signature for: f4 :: (Eq a, Eq b) => a -> b -> Equal a b -> Bool |