[commit: ghc] master: Fix stderr for T9939 (5bc99df)
git at git.haskell.org
git at git.haskell.org
Wed Jan 7 13:50:16 UTC 2015
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/5bc99df1e7369f6dfc882f5f12de1e840fa57fd6/ghc
>---------------------------------------------------------------
commit 5bc99df1e7369f6dfc882f5f12de1e840fa57fd6
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Wed Jan 7 13:51:27 2015 +0000
Fix stderr for T9939
>---------------------------------------------------------------
5bc99df1e7369f6dfc882f5f12de1e840fa57fd6
testsuite/tests/typecheck/should_compile/T9939.stderr | 17 +++++++++++++++++
1 file changed, 17 insertions(+)
diff --git a/testsuite/tests/typecheck/should_compile/T9939.stderr b/testsuite/tests/typecheck/should_compile/T9939.stderr
index 0519ecb..946fba9 100644
--- a/testsuite/tests/typecheck/should_compile/T9939.stderr
+++ b/testsuite/tests/typecheck/should_compile/T9939.stderr
@@ -1 +1,18 @@
+T9939.hs:5:7:
+ Redundant constraint: Eq a
+ In the type signature for: f1 :: (Eq a, Ord a) => a -> a -> Bool
+
+T9939.hs:9:7:
+ Redundant constraint: Eq a
+ In the type signature for: f2 :: (Eq a, Ord a) => a -> a -> Bool
+
+T9939.hs:13:7:
+ Redundant constraint: Eq b
+ In the type signature for:
+ f3 :: (Eq a, a ~ b, Eq b) => a -> b -> Bool
+
+T9939.hs:20:7:
+ Redundant constraint: Eq b
+ In the type signature for:
+ f4 :: (Eq a, Eq b) => a -> b -> Equal a b -> Bool
More information about the ghc-commits
mailing list