Fix stderr for T9939
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 7 Jan 2015 13:51:27 +0000 (13:51 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 7 Jan 2015 13:51:27 +0000 (13:51 +0000)
testsuite/tests/typecheck/should_compile/T9939.stderr

index 0519ecb..946fba9 100644 (file)
@@ -1 +1,18 @@
\ No newline at end of file
+
+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