diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile')
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) |