[commit: ghc] ghc-8.0: Fix test output (f168a61)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/f168a616f4aae82cc7007310c320032232d09e79/ghc

>---------------------------------------------------------------

commit f168a616f4aae82cc7007310c320032232d09e79
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Mon Oct 10 10:58:42 2016 -0400

    Fix test output


>---------------------------------------------------------------

f168a616f4aae82cc7007310c320032232d09e79
 .../InstantiatedNamedWildcardsInConstraints.stderr    | 12 ------------
 .../tests/partial-sigs/should_fail/T10999.stderr      | 10 ----------
 .../should_fail/WildcardInstantiations.stderr         | 19 -------------------
 3 files changed, 41 deletions(-)

diff --git a/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr b/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr
index 2df1544..b8fb188 100644
--- a/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr
@@ -1,16 +1,4 @@
 
-InstantiatedNamedWildcardsInConstraints.hs:4:14: error:
-    • Found type wildcard ‘_a’ standing for ‘b’
-      Where: ‘b’ is a rigid type variable bound by
-               the inferred type of foo :: (Enum b, Show b) => b -> (String, b)
-               at InstantiatedNamedWildcardsInConstraints.hs:4:8
-      To use the inferred type, enable PartialTypeSignatures
-    • In the type signature:
-        foo :: (Enum _a, _) => _a -> (String, b)
-    • Relevant bindings include
-        foo :: b -> (String, b)
-          (bound at InstantiatedNamedWildcardsInConstraints.hs:5:1)
-
 InstantiatedNamedWildcardsInConstraints.hs:4:18: error:
     Found constraint wildcard ‘_’ standing for ‘Show b’
     To use the inferred type, enable PartialTypeSignatures
diff --git a/testsuite/tests/partial-sigs/should_fail/T10999.stderr b/testsuite/tests/partial-sigs/should_fail/T10999.stderr
index c74719a..66c9628 100644
--- a/testsuite/tests/partial-sigs/should_fail/T10999.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/T10999.stderr
@@ -4,13 +4,3 @@ T10999.hs:5:6: error:
     To use the inferred type, enable PartialTypeSignatures
     In the type signature:
       f :: _ => () -> _
-
-T10999.hs:5:17: error:
-    • Found type wildcard ‘_’ standing for ‘Set.Set a’
-      Where: ‘a’ is a rigid type variable bound by
-               the inferred type of f :: Ord a => () -> Set.Set a at T10999.hs:6:1
-      To use the inferred type, enable PartialTypeSignatures
-    • In the type signature:
-        f :: _ => () -> _
-    • Relevant bindings include
-        f :: () -> Set.Set a (bound at T10999.hs:6:1)
diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr
index 7e0b5ac..480d795 100644
--- a/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr
@@ -1,29 +1,10 @@
 
-WildcardInstantiations.hs:5:14: error:
-    • Found type wildcard ‘_a’ standing for ‘a’
-      Where: ‘a’ is a rigid type variable bound by
-               the inferred type of foo :: (Enum a, Show a) => a -> String
-               at WildcardInstantiations.hs:6:1
-      To use the inferred type, enable PartialTypeSignatures
-    • In the type signature:
-        foo :: (Show _a, _) => _a -> _
-    • Relevant bindings include
-        foo :: a -> String (bound at WildcardInstantiations.hs:6:1)
-
 WildcardInstantiations.hs:5:18: error:
     Found constraint wildcard ‘_’ standing for ‘Enum a’
     To use the inferred type, enable PartialTypeSignatures
     In the type signature:
       foo :: (Show _a, _) => _a -> _
 
-WildcardInstantiations.hs:5:30: error:
-    • Found type wildcard ‘_’ standing for ‘String’
-      To use the inferred type, enable PartialTypeSignatures
-    • In the type signature:
-        foo :: (Show _a, _) => _a -> _
-    • Relevant bindings include
-        foo :: a -> String (bound at WildcardInstantiations.hs:6:1)
-
 WildcardInstantiations.hs:8:8: error:
     • Found type wildcard ‘_’ standing for ‘t’
       Where: ‘t’ is a rigid type variable bound by