[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