Strip parentheses in expressions contexts in error messages

This makes error messages a tad less noisy.

6 files changed, 12 insertions, 12 deletions

diff --git a/testsuite/tests/typecheck/should_fail/T10619.stderr b/testsuite/tests/typecheck/should_fail/T10619.stderr
index fde2daf8c6..9d34750675 100644
--- a/testsuite/tests/typecheck/should_fail/T10619.stderr
+++ b/testsuite/tests/typecheck/should_fail/T10619.stderr
@@ -4,7 +4,7 @@ T10619.hs:9:15: error:
       Expected type: (b -> b) -> b -> b
         Actual type: (forall a. a -> a) -> b -> b
     • In the expression:
-        ((\ x -> x) :: (forall a. a -> a) -> forall b. b -> b)
+          (\ x -> x) :: (forall a. a -> a) -> forall b. b -> b
       In the expression:
         if True then
             ((\ x -> x) :: (forall a. a -> a) -> forall b. b -> b)
@@ -24,7 +24,7 @@ T10619.hs:14:15: error:
       Expected type: (b -> b) -> b -> b
         Actual type: (forall a. a -> a) -> b -> b
     • In the expression:
-        ((\ x -> x) :: (forall a. a -> a) -> forall b. b -> b)
+          (\ x -> x) :: (forall a. a -> a) -> forall b. b -> b
       In the expression:
         if True then
             \ y -> y
diff --git a/testsuite/tests/typecheck/should_fail/T6069.stderr b/testsuite/tests/typecheck/should_fail/T6069.stderr
index e1c2e5653f..3ee2b2d5e4 100644
--- a/testsuite/tests/typecheck/should_fail/T6069.stderr
+++ b/testsuite/tests/typecheck/should_fail/T6069.stderr
@@ -12,7 +12,7 @@ T6069.hs:14:15: error:
       Expected type: ST s1 Int -> a1
         Actual type: (forall s. ST s a1) -> a1
     • In the second argument of ‘(.)’, namely ‘runST’
-      In the expression: (print . runST)
+      In the expression: print . runST
       In the expression: (print . runST) $ fourty_two
 
 T6069.hs:15:16: error:
diff --git a/testsuite/tests/typecheck/should_fail/tcfail009.stderr b/testsuite/tests/typecheck/should_fail/tcfail009.stderr
index 2597a00c4b..7e4d29ae48 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail009.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail009.stderr
@@ -1,6 +1,6 @@
 
-tcfail009.hs:3:17:
-    Couldn't match expected type ‘Int’ with actual type ‘Integer’
-    In the expression: (2 :: Integer)
-    In the expression: [(1 :: Int) .. (2 :: Integer)]
-    In an equation for ‘p’: p = [(1 :: Int) .. (2 :: Integer)]
+tcfail009.hs:3:17: error:
+    • Couldn't match expected type ‘Int’ with actual type ‘Integer’
+    • In the expression: 2 :: Integer
+      In the expression: [(1 :: Int) .. (2 :: Integer)]
+      In an equation for ‘p’: p = [(1 :: Int) .. (2 :: Integer)]
diff --git a/testsuite/tests/typecheck/should_fail/tcfail032.stderr b/testsuite/tests/typecheck/should_fail/tcfail032.stderr
index 14be02dc45..a09941d284 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail032.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail032.stderr
@@ -6,7 +6,7 @@ tcfail032.hs:14:8: error:
         an expression type signature:
           forall a1. Eq a1 => a1 -> Int
         at tcfail032.hs:14:13-30
-    • In the expression: (x :: (Eq a) => a -> Int)
+    • In the expression: x :: (Eq a) => a -> Int
       In an equation for ‘f’: f x = (x :: (Eq a) => a -> Int)
     • Relevant bindings include
         x :: p (bound at tcfail032.hs:14:3)
diff --git a/testsuite/tests/typecheck/should_fail/tcfail104.stderr b/testsuite/tests/typecheck/should_fail/tcfail104.stderr
index 44d8e4888c..6516dcbd3a 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail104.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail104.stderr
@@ -3,7 +3,7 @@ tcfail104.hs:14:12: error:
     • Couldn't match type ‘forall a. a -> a’ with ‘Char -> Char’
       Expected type: (Char -> Char) -> Char -> Char
         Actual type: (forall a. a -> a) -> Char -> Char
-    • In the expression: (\ (x :: forall a. a -> a) -> x)
+    • In the expression: \ (x :: forall a. a -> a) -> x
       In the expression:
         if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x)
       In the expression:
@@ -15,4 +15,4 @@ tcfail104.hs:22:15: error:
     • When checking that the pattern signature: forall a. a -> a
         fits the type of its context: Char -> Char
       In the pattern: x :: forall a. a -> a
-      In the expression: (\ (x :: forall a. a -> a) -> x)
+      In the expression: \ (x :: forall a. a -> a) -> x
diff --git a/testsuite/tests/typecheck/should_fail/tcfail208.stderr b/testsuite/tests/typecheck/should_fail/tcfail208.stderr
index d8b48cf2eb..cd8e6379e9 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail208.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail208.stderr
@@ -5,5 +5,5 @@ tcfail208.hs:4:10: error:
         bound by the type signature for:
                    f :: forall (m :: * -> *) a. (Monad m, Eq a) => a -> m a -> Bool
         at tcfail208.hs:3:1-40
-    • In the expression: (return x == y)
+    • In the expression: return x == y
       In an equation for ‘f’: f x y = (return x == y)