summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_compile')
-rw-r--r--testsuite/tests/typecheck/should_compile/T10632.stderr10
-rw-r--r--testsuite/tests/typecheck/should_compile/T3696.stderr6
-rw-r--r--testsuite/tests/typecheck/should_compile/T7050.stderr10
-rw-r--r--testsuite/tests/typecheck/should_compile/T7220a.stderr29
-rw-r--r--testsuite/tests/typecheck/should_compile/T7562.stderr10
-rw-r--r--testsuite/tests/typecheck/should_compile/T9497a.stderr14
6 files changed, 40 insertions, 39 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T10632.stderr b/testsuite/tests/typecheck/should_compile/T10632.stderr
index 5a6809de5c..8e72f42971 100644
--- a/testsuite/tests/typecheck/should_compile/T10632.stderr
+++ b/testsuite/tests/typecheck/should_compile/T10632.stderr
@@ -1,5 +1,5 @@
-
-T10632.hs:3:1: warning:
- Redundant constraint: ?file1::String
- In the type signature for:
- f :: (?file1::String) => IO ()
+
+T10632.hs:3:1: warning:
+ • Redundant constraint: ?file1::String
+ • In the type signature for:
+ f :: (?file1::String) => IO ()
diff --git a/testsuite/tests/typecheck/should_compile/T3696.stderr b/testsuite/tests/typecheck/should_compile/T3696.stderr
index 1784e53511..06229b8fa3 100644
--- a/testsuite/tests/typecheck/should_compile/T3696.stderr
+++ b/testsuite/tests/typecheck/should_compile/T3696.stderr
@@ -1,3 +1,3 @@
-
-T3696.hs:9:1:
- Warning: Top-level binding with no type signature: def :: Int
+
+T3696.hs:9:1: warning:
+ Top-level binding with no type signature: def :: Int
diff --git a/testsuite/tests/typecheck/should_compile/T7050.stderr b/testsuite/tests/typecheck/should_compile/T7050.stderr
index 8a2f9f97e4..e115954bc8 100644
--- a/testsuite/tests/typecheck/should_compile/T7050.stderr
+++ b/testsuite/tests/typecheck/should_compile/T7050.stderr
@@ -1,5 +1,5 @@
-
-T7050.hs:3:14: warning:
- Ignoring unusable UNPACK pragma on the first argument of ‘Foo’
- In the definition of data constructor ‘Foo’
- In the data type declaration for ‘Foo’
+
+T7050.hs:3:14: warning:
+ • Ignoring unusable UNPACK pragma on the first argument of ‘Foo’
+ • In the definition of data constructor ‘Foo’
+ In the data type declaration for ‘Foo’
diff --git a/testsuite/tests/typecheck/should_compile/T7220a.stderr b/testsuite/tests/typecheck/should_compile/T7220a.stderr
index b728a1e8d9..6e25e7a8f1 100644
--- a/testsuite/tests/typecheck/should_compile/T7220a.stderr
+++ b/testsuite/tests/typecheck/should_compile/T7220a.stderr
@@ -1,14 +1,15 @@
-
-T7220a.hs:17:6: error:
- Could not deduce (C a b)
- from the context: (C a0 b, TF b ~ Y)
- bound by the type signature for:
- f :: (C a0 b, TF b ~ Y) => b
- at T7220a.hs:17:6-44
- Possible fix:
- add (C a b) to the context of
- the type signature for:
- f :: (C a0 b, TF b ~ Y) => b
- In the ambiguity check for ‘f’
- To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
- In the type signature: f :: (forall b. (C a b, TF b ~ Y) => b) -> X
+
+T7220a.hs:17:6: error:
+ • Could not deduce (C a b)
+ from the context: (C a0 b, TF b ~ Y)
+ bound by the type signature for:
+ f :: (C a0 b, TF b ~ Y) => b
+ at T7220a.hs:17:6-44
+ Possible fix:
+ add (C a b) to the context of
+ the type signature for:
+ f :: (C a0 b, TF b ~ Y) => b
+ • In the ambiguity check for ‘f’
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ In the type signature:
+ f :: (forall b. (C a b, TF b ~ Y) => b) -> X
diff --git a/testsuite/tests/typecheck/should_compile/T7562.stderr b/testsuite/tests/typecheck/should_compile/T7562.stderr
index 448327f996..9c1b846b91 100644
--- a/testsuite/tests/typecheck/should_compile/T7562.stderr
+++ b/testsuite/tests/typecheck/should_compile/T7562.stderr
@@ -1,5 +1,5 @@
-
-T7562.hs:3:14: warning:
- UNPACK pragma lacks '!' on the first argument of ‘Pair2’
- In the definition of data constructor ‘Pair2’
- In the data type declaration for ‘Pair2’
+
+T7562.hs:3:14: warning:
+ • UNPACK pragma lacks '!' on the first argument of ‘Pair2’
+ • In the definition of data constructor ‘Pair2’
+ In the data type declaration for ‘Pair2’
diff --git a/testsuite/tests/typecheck/should_compile/T9497a.stderr b/testsuite/tests/typecheck/should_compile/T9497a.stderr
index 3982616412..ca22451023 100644
--- a/testsuite/tests/typecheck/should_compile/T9497a.stderr
+++ b/testsuite/tests/typecheck/should_compile/T9497a.stderr
@@ -1,7 +1,7 @@
-
-T9497a.hs:2:8: warning:
- Found hole: _main :: IO ()
- Or perhaps ‘_main’ is mis-spelled, or not in scope
- In the expression: _main
- In an equation for ‘main’: main = _main
- Relevant bindings include main :: IO () (bound at T9497a.hs:2:1)
+
+T9497a.hs:2:8: warning:
+ • Found hole: _main :: IO ()
+ Or perhaps ‘_main’ is mis-spelled, or not in scope
+ • In the expression: _main
+ In an equation for ‘main’: main = _main
+ • Relevant bindings include main :: IO () (bound at T9497a.hs:2:1)