diff options
Diffstat (limited to 'testsuite')
142 files changed, 452 insertions, 373 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail24.stderr b/testsuite/tests/backpack/should_fail/bkpfail24.stderr index 65a79bf119..ee4238451f 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail24.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail24.stderr @@ -1,10 +1,10 @@ [1 of 1] Processing p - [1 of 3] Compiling H1[sig] ( p/H1.hsig, nothing ) - [2 of 3] Compiling H2[sig] ( p/H2.hsig, nothing ) - [3 of 3] Compiling M ( p/M.hs, nothing ) + [1 of 3] Compiling H1[sig] ( p\H1.hsig, nothing ) + [2 of 3] Compiling H2[sig] ( p\H2.hsig, nothing ) + [3 of 3] Compiling M ( p\M.hs, nothing ) bkpfail24.bkp:14:15: error: - • Could not deduce: a ~ b + • Could not deduce (a ~ b) from the context: {H1.T} ~ {H2.T} bound by the type signature for: f :: forall a b. ({H1.T} ~ {H2.T}) => a -> b diff --git a/testsuite/tests/backpack/should_fail/bkpfail44.stderr b/testsuite/tests/backpack/should_fail/bkpfail44.stderr index c16b2f2527..d51742c987 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail44.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail44.stderr @@ -1,9 +1,9 @@ [1 of 1] Processing p - [1 of 2] Compiling A[sig] ( p/A.hsig, nothing ) - [2 of 2] Compiling B ( p/B.hs, nothing ) + [1 of 2] Compiling A[sig] ( p\A.hsig, nothing ) + [2 of 2] Compiling B ( p\B.hs, nothing ) bkpfail44.bkp:10:15: error: - • Could not deduce: a ~ b + • Could not deduce (a ~ b) from the context: Coercible (T a) (T b) bound by the type signature for: f :: forall a b. Coercible (T a) (T b) => a -> b diff --git a/testsuite/tests/backpack/should_fail/bkpfail49.stderr b/testsuite/tests/backpack/should_fail/bkpfail49.stderr index b6b60e2b86..f61be26f1a 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail49.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail49.stderr @@ -1,10 +1,10 @@ [1 of 2] Processing p - [1 of 1] Compiling A[sig] ( p/A.hsig, nothing ) + [1 of 1] Compiling A[sig] ( p\A.hsig, nothing ) [2 of 2] Processing q - [1 of 3] Compiling A[sig] ( q/A.hsig, nothing ) - [2 of 3] Compiling M ( q/M.hs, nothing ) + [1 of 3] Compiling A[sig] ( q\A.hsig, nothing ) + [2 of 3] Compiling M ( q\M.hs, nothing ) bkpfail49.bkp:11:13: error: Not in scope: data constructor ‘A.True’ - Module ‘A’ does not export ‘True’. + NB: the module ‘A’ does not export ‘True’. [3 of 3] Instantiating p diff --git a/testsuite/tests/dependent/should_fail/RenamingStar.stderr b/testsuite/tests/dependent/should_fail/RenamingStar.stderr index 4001811f1f..a0f0bbbab0 100644 --- a/testsuite/tests/dependent/should_fail/RenamingStar.stderr +++ b/testsuite/tests/dependent/should_fail/RenamingStar.stderr @@ -1,5 +1,6 @@ RenamingStar.hs:5:13: error: Operator applied to too few arguments: * - With NoStarIsType, ‘*’ is treated as a regular type operator. - Did you mean to use ‘Type’ from Data.Kind instead? + Suggested fix: + Use ‘Type’ from ‘Data.Kind’ instead. + NB: with NoStarIsType, ‘*’ is treated as a regular type operator. diff --git a/testsuite/tests/gadt/T15558.stderr b/testsuite/tests/gadt/T15558.stderr index ee70f0373b..e3223fb7a3 100644 --- a/testsuite/tests/gadt/T15558.stderr +++ b/testsuite/tests/gadt/T15558.stderr @@ -1,9 +1,9 @@ T15558.hs:11:15: warning: [-Winaccessible-code (in -Wdefault)] - • Couldn't match type ‘Int’ with ‘Bool’ - Inaccessible code in + • Inaccessible code in a type expected by the context: (a ~ Bool) => () + Couldn't match type ‘Int’ with ‘Bool’ • In the first argument of ‘MkFoo’, namely ‘()’ In the expression: MkFoo () In an equation for ‘f’: f MkT = MkFoo () diff --git a/testsuite/tests/gadt/T7293.stderr b/testsuite/tests/gadt/T7293.stderr index 5625ff01c5..4546789ec2 100644 --- a/testsuite/tests/gadt/T7293.stderr +++ b/testsuite/tests/gadt/T7293.stderr @@ -4,9 +4,9 @@ T7293.hs:26:1: error: [-Woverlapping-patterns (in -Wdefault), -Werror=overlappin In an equation for ‘nth’: nth Nil _ = ... T7293.hs:26:5: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessible-code] - • Couldn't match type ‘'False’ with ‘'True’ - Inaccessible code in + • Inaccessible code in a pattern with constructor: Nil :: forall a. Vec a 'Zero, in an equation for ‘nth’ + Couldn't match type ‘'False’ with ‘'True’ • In the pattern: Nil In an equation for ‘nth’: nth Nil _ = undefined diff --git a/testsuite/tests/gadt/T7294.stderr b/testsuite/tests/gadt/T7294.stderr index f694af8d0c..718a463e31 100644 --- a/testsuite/tests/gadt/T7294.stderr +++ b/testsuite/tests/gadt/T7294.stderr @@ -4,9 +4,9 @@ T7294.hs:27:1: warning: [-Woverlapping-patterns (in -Wdefault)] In an equation for ‘nth’: nth Nil _ = ... T7294.hs:27:5: warning: [-Winaccessible-code (in -Wdefault)] - • Couldn't match type ‘'False’ with ‘'True’ - Inaccessible code in + • Inaccessible code in a pattern with constructor: Nil :: forall a. Vec a 'Zero, in an equation for ‘nth’ + Couldn't match type ‘'False’ with ‘'True’ • In the pattern: Nil In an equation for ‘nth’: nth Nil _ = undefined diff --git a/testsuite/tests/gadt/gadt-escape1.stderr b/testsuite/tests/gadt/gadt-escape1.stderr index f2b7ac569e..b237361699 100644 --- a/testsuite/tests/gadt/gadt-escape1.stderr +++ b/testsuite/tests/gadt/gadt-escape1.stderr @@ -1,6 +1,6 @@ gadt-escape1.hs:19:58: error: - • Could not deduce: p ~ ExpGADT Int + • Could not deduce (p ~ ExpGADT Int) from the context: t ~ Int bound by a pattern with constructor: ExpInt :: Int -> ExpGADT Int, in a case alternative @@ -10,10 +10,10 @@ gadt-escape1.hs:19:58: error: ‘p’ is a rigid type variable bound by the inferred type of weird1 :: p at gadt-escape1.hs:19:1-58 - Possible fix: add a type signature for ‘weird1’ • In the expression: a In a case alternative: Hidden (ExpInt _) a -> a In the expression: case (hval :: Hidden) of Hidden (ExpInt _) a -> a • Relevant bindings include weird1 :: p (bound at gadt-escape1.hs:19:1) + Suggested fix: Consider giving ‘weird1’ a type signature diff --git a/testsuite/tests/gadt/gadt13.stderr b/testsuite/tests/gadt/gadt13.stderr index 49eb2bc96f..83b0e73e53 100644 --- a/testsuite/tests/gadt/gadt13.stderr +++ b/testsuite/tests/gadt/gadt13.stderr @@ -1,6 +1,6 @@ gadt13.hs:15:13: error: - • Could not deduce: p ~ (String -> [Char]) + • Could not deduce (p ~ (String -> [Char])) from the context: a ~ Int bound by a pattern with constructor: I :: Int -> Term Int, in an equation for ‘shw’ @@ -8,8 +8,8 @@ gadt13.hs:15:13: error: ‘p’ is a rigid type variable bound by the inferred type of shw :: Term a -> p at gadt13.hs:15:1-30 - Possible fix: add a type signature for ‘shw’ • In the expression: ("I " ++) . shows t In an equation for ‘shw’: shw (I t) = ("I " ++) . shows t • Relevant bindings include shw :: Term a -> p (bound at gadt13.hs:15:1) + Suggested fix: Consider giving ‘shw’ a type signature diff --git a/testsuite/tests/gadt/gadt7.stderr b/testsuite/tests/gadt/gadt7.stderr index 314404c246..478c410468 100644 --- a/testsuite/tests/gadt/gadt7.stderr +++ b/testsuite/tests/gadt/gadt7.stderr @@ -1,6 +1,6 @@ gadt7.hs:16:38: error: - • Could not deduce: p ~ p1 + • Could not deduce (p ~ p1) from the context: a ~ Int bound by a pattern with constructor: K :: T Int, in a case alternative @@ -11,7 +11,6 @@ gadt7.hs:16:38: error: ‘p1’ is a rigid type variable bound by the inferred type of i1b :: T a -> p -> p1 at gadt7.hs:16:1-44 - Possible fix: add a type signature for ‘i1b’ • In the expression: y1 In a case alternative: K -> y1 In the expression: case t1 of K -> y1 @@ -19,3 +18,4 @@ gadt7.hs:16:38: error: y1 :: p (bound at gadt7.hs:16:16) y :: p (bound at gadt7.hs:16:7) i1b :: T a -> p -> p1 (bound at gadt7.hs:16:1) + Suggested fix: Consider giving ‘i1b’ a type signature diff --git a/testsuite/tests/ghci/prog009/ghci.prog009.stderr b/testsuite/tests/ghci/prog009/ghci.prog009.stderr index 4f9cf12a3e..e8e5d4ab3e 100644 --- a/testsuite/tests/ghci/prog009/ghci.prog009.stderr +++ b/testsuite/tests/ghci/prog009/ghci.prog009.stderr @@ -2,7 +2,7 @@ A.hs:1:16: error: parse error on input ‘where’ <interactive>:25:1: error: - • Variable not in scope: yan - • Perhaps you meant ‘tan’ (imported from Prelude) + Variable not in scope: yan + Suggested fix: Perhaps use ‘tan’ (imported from Prelude) A.hs:1:16: error: parse error on input ‘where’ diff --git a/testsuite/tests/ghci/scripts/Defer02.stderr b/testsuite/tests/ghci/scripts/Defer02.stderr index c25cc4b81f..3477f47b17 100644 --- a/testsuite/tests/ghci/scripts/Defer02.stderr +++ b/testsuite/tests/ghci/scripts/Defer02.stderr @@ -17,10 +17,10 @@ Defer01.hs:25:1: warning: [-Woverlapping-patterns (in -Wdefault)] In an equation for ‘c’: c (C2 x) = ... Defer01.hs:25:4: warning: [-Winaccessible-code (in -Wdefault)] - • Couldn't match type ‘Int’ with ‘Bool’ - Inaccessible code in + • Inaccessible code in a pattern with constructor: C2 :: Bool -> C Bool, in an equation for ‘c’ + Couldn't match type ‘Int’ with ‘Bool’ • In the pattern: C2 x In an equation for ‘c’: c (C2 x) = True diff --git a/testsuite/tests/ghci/scripts/T20455.stderr b/testsuite/tests/ghci/scripts/T20455.stderr index cb94e6ee3d..61870da12a 100644 --- a/testsuite/tests/ghci/scripts/T20455.stderr +++ b/testsuite/tests/ghci/scripts/T20455.stderr @@ -1,7 +1,8 @@ <interactive>:3:1: error: - • Variable not in scope: ll - • Perhaps you meant one of these: + Variable not in scope: ll + Suggested fix: + Perhaps use one of these: ‘Ghci1.l’ (imported from Ghci1), ‘l’ (line 2), ‘all’ (imported from Prelude) diff --git a/testsuite/tests/ghci/scripts/T2452.stderr b/testsuite/tests/ghci/scripts/T2452.stderr index 99b0acbd21..c6f37c6680 100644 --- a/testsuite/tests/ghci/scripts/T2452.stderr +++ b/testsuite/tests/ghci/scripts/T2452.stderr @@ -1,8 +1,8 @@ <interactive>:1:1: error: Not in scope: ‘System.IO.hPutStrLn’ - No module named ‘System.IO’ is imported. + NB: no module named ‘System.IO’ is imported. <interactive>:1:1: error: Not in scope: ‘System.IO.hPutStrLn’ - No module named ‘System.IO’ is imported. + NB: no module named ‘System.IO’ is imported. diff --git a/testsuite/tests/ghci/scripts/T5564.stderr b/testsuite/tests/ghci/scripts/T5564.stderr index 89de0f18e3..2338e22e03 100644 --- a/testsuite/tests/ghci/scripts/T5564.stderr +++ b/testsuite/tests/ghci/scripts/T5564.stderr @@ -1,10 +1,11 @@ <interactive>:2:1: error: - • Variable not in scope: git - • Perhaps you meant ‘it’ (line 1) + Variable not in scope: git + Suggested fix: Perhaps use ‘it’ (line 1) <interactive>:4:1: error: - • Variable not in scope: fit - • Perhaps you meant one of these: + Variable not in scope: fit + Suggested fix: + Perhaps use one of these: ‘Ghci1.it’ (imported from Ghci1), ‘it’ (line 3), ‘fst’ (imported from Prelude) diff --git a/testsuite/tests/ghci/scripts/T8485.stderr b/testsuite/tests/ghci/scripts/T8485.stderr index d1c005b9f6..8d77f82eaa 100644 --- a/testsuite/tests/ghci/scripts/T8485.stderr +++ b/testsuite/tests/ghci/scripts/T8485.stderr @@ -1,4 +1,5 @@ <interactive>:2:11: error: The role annotation for ‘X’ lacks an accompanying binding - (The role annotation must be given where ‘X’ is declared) + Suggested fix: + Move the role annotation to the declaration site of ‘X’. diff --git a/testsuite/tests/ghci/scripts/T8639.stderr b/testsuite/tests/ghci/scripts/T8639.stderr index ee06e6e70c..9764bcdf67 100644 --- a/testsuite/tests/ghci/scripts/T8639.stderr +++ b/testsuite/tests/ghci/scripts/T8639.stderr @@ -1,5 +1,5 @@ <interactive>:1:1: error: Not in scope: ‘H.bit’ - Perhaps you meant ‘Q.bit’ (imported from T8639) - No module named ‘H’ is imported. + NB: no module named ‘H’ is imported. + Suggested fix: Perhaps use ‘Q.bit’ (imported from T8639) diff --git a/testsuite/tests/ghci/scripts/ghci036.stderr b/testsuite/tests/ghci/scripts/ghci036.stderr index 5b44b562a7..482fac7e62 100644 --- a/testsuite/tests/ghci/scripts/ghci036.stderr +++ b/testsuite/tests/ghci/scripts/ghci036.stderr @@ -9,10 +9,10 @@ <interactive>:1:1: error: Variable not in scope: nub - Perhaps you meant ‘L.nub’ (imported from Data.List) + Suggested fix: Perhaps use ‘L.nub’ (imported from Data.List) <interactive>:1:1: error: Not in scope: ‘L.nub’ - No module named ‘L’ is imported. + NB: no module named ‘L’ is imported. <interactive>:1:1: error: Variable not in scope: nub diff --git a/testsuite/tests/impredicative/T17332.stderr b/testsuite/tests/impredicative/T17332.stderr index 24bb0e2aee..7d0615ad4e 100644 --- a/testsuite/tests/impredicative/T17332.stderr +++ b/testsuite/tests/impredicative/T17332.stderr @@ -1,5 +1,5 @@ T17332.hs:13:7: error: - • Could not deduce: a arising from a use of ‘MkDict’ + • Could not solve: () arising from a use of ‘MkDict’ • In the expression: MkDict In an equation for ‘aux’: aux = MkDict diff --git a/testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr b/testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr index 5ba9df0d1a..16078fd7fc 100644 --- a/testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr +++ b/testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr @@ -1,6 +1,6 @@ PushedInAsGivens.hs:10:31: error: - • Could not deduce: a1 ~ a + • Could not deduce (a1 ~ a) from the context: F Int ~ [a1] bound by the type signature for: foo :: forall a1. (F Int ~ [a1]) => a1 -> Int diff --git a/testsuite/tests/indexed-types/should_compile/T12538.stderr b/testsuite/tests/indexed-types/should_compile/T12538.stderr index 7de8f787af..d5c8f97f9c 100644 --- a/testsuite/tests/indexed-types/should_compile/T12538.stderr +++ b/testsuite/tests/indexed-types/should_compile/T12538.stderr @@ -1,6 +1,6 @@ T12538.hs:37:8: error: - • Could not deduce: a' ~ Tagged Int a + • Could not deduce (a' ~ Tagged Int a) from the context: (TagImpl a a', b ~ DF a') bound by the instance declaration at T12538.hs:36:10-46 Expected: Tagged Int a -> b diff --git a/testsuite/tests/indexed-types/should_compile/T3208b.stderr b/testsuite/tests/indexed-types/should_compile/T3208b.stderr index 063870465b..c1a09ebfcb 100644 --- a/testsuite/tests/indexed-types/should_compile/T3208b.stderr +++ b/testsuite/tests/indexed-types/should_compile/T3208b.stderr @@ -1,6 +1,6 @@ T3208b.hs:15:15: error: - • Could not deduce: OTerm o0 ~ STerm a + • Could not deduce (OTerm o0 ~ STerm a) arising from a use of ‘apply’ from the context: (OTerm a ~ STerm a, OBJECT a, SUBST a) bound by the type signature for: diff --git a/testsuite/tests/indexed-types/should_fail/T2627b.stderr b/testsuite/tests/indexed-types/should_fail/T2627b.stderr index 2db3dd6397..a2086a8134 100644 --- a/testsuite/tests/indexed-types/should_fail/T2627b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2627b.stderr @@ -1,6 +1,6 @@ T2627b.hs:20:24: error: - • Could not deduce: Dual (Dual a0) ~ a0 + • Could not deduce (Dual (Dual a0) ~ a0) arising from a use of ‘conn’ from the context: (Dual a ~ b, Dual b ~ a) bound by the type signature for: diff --git a/testsuite/tests/indexed-types/should_fail/T2664.stderr b/testsuite/tests/indexed-types/should_fail/T2664.stderr index 155fe0e03b..e4aa614264 100644 --- a/testsuite/tests/indexed-types/should_fail/T2664.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2664.stderr @@ -1,6 +1,6 @@ T2664.hs:32:52: error: - • Could not deduce: b ~ a arising from a use of ‘newPChan’ + • Could not deduce (b ~ a) arising from a use of ‘newPChan’ from the context: ((a :*: b) ~ Dual c, c ~ Dual (a :*: b)) bound by the type signature for: newPChan :: forall c. diff --git a/testsuite/tests/indexed-types/should_fail/T3440.stderr b/testsuite/tests/indexed-types/should_fail/T3440.stderr index af8f27b761..bf36f954f7 100644 --- a/testsuite/tests/indexed-types/should_fail/T3440.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3440.stderr @@ -1,6 +1,6 @@ T3440.hs:11:22: error: - • Could not deduce: a1 ~ a + • Could not deduce (a1 ~ a) from the context: Fam a ~ Fam a1 bound by a pattern with constructor: GADT :: forall a. a -> Fam a -> GADT (Fam a), diff --git a/testsuite/tests/indexed-types/should_fail/T4093a.stderr b/testsuite/tests/indexed-types/should_fail/T4093a.stderr index 81d9c404ed..10b6284105 100644 --- a/testsuite/tests/indexed-types/should_fail/T4093a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4093a.stderr @@ -1,6 +1,6 @@ T4093a.hs:8:8: error: - • Could not deduce: e ~ () + • Could not deduce (e ~ ()) from the context: Foo e ~ Maybe e bound by the type signature for: hang :: forall e. (Foo e ~ Maybe e) => Foo e diff --git a/testsuite/tests/indexed-types/should_fail/T4093b.stderr b/testsuite/tests/indexed-types/should_fail/T4093b.stderr index 367c904e4f..575aed2a7b 100644 --- a/testsuite/tests/indexed-types/should_fail/T4093b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4093b.stderr @@ -1,6 +1,6 @@ T4093b.hs:31:13: error: - • Could not deduce: e ~ C + • Could not deduce (e ~ C) from the context: (EitherCO e (A C O n) (A O O n) ~ A e O n, EitherCO x (A C C n) (A C O n) ~ A C x n) bound by the type signature for: diff --git a/testsuite/tests/module/mod101.stderr b/testsuite/tests/module/mod101.stderr index 1c48186885..ecaae0a7d2 100644 --- a/testsuite/tests/module/mod101.stderr +++ b/testsuite/tests/module/mod101.stderr @@ -1,4 +1,4 @@ mod101.hs:8:5: error: - • Data constructor not in scope: ConB :: Bool -> DataA - • Perhaps you meant ‘ConA’ (imported from Mod101_AuxB) + Data constructor not in scope: ConB :: Bool -> DataA + Suggested fix: Perhaps use ‘ConA’ (imported from Mod101_AuxB) diff --git a/testsuite/tests/module/mod102.stderr b/testsuite/tests/module/mod102.stderr index 17ade933a6..afb4f9db7d 100644 --- a/testsuite/tests/module/mod102.stderr +++ b/testsuite/tests/module/mod102.stderr @@ -1,4 +1,4 @@ mod102.hs:8:5: error: - • Variable not in scope: methB :: Bool -> Bool -> () - • Perhaps you meant ‘methA’ (imported from Mod102_AuxB) + Variable not in scope: methB :: Bool -> Bool -> () + Suggested fix: Perhaps use ‘methA’ (imported from Mod102_AuxB) diff --git a/testsuite/tests/module/mod114.stderr b/testsuite/tests/module/mod114.stderr index 739ac82452..e473360f15 100644 --- a/testsuite/tests/module/mod114.stderr +++ b/testsuite/tests/module/mod114.stderr @@ -1,5 +1,6 @@ mod114.hs:3:16: error: Not in scope: type constructor or class ‘Stuff’ - Perhaps you want to remove ‘Stuff’ from the explicit hiding list - in the import of ‘Mod114_Help’ (mod114.hs:4:1-36). + Suggested fix: + Perhaps you want to remove ‘Stuff’ from the explicit hiding list + in the import of ‘Mod114_Help’ (mod114.hs:4:1-36). diff --git a/testsuite/tests/module/mod121.stderr b/testsuite/tests/module/mod121.stderr index fda1dec212..f51fec45e5 100644 --- a/testsuite/tests/module/mod121.stderr +++ b/testsuite/tests/module/mod121.stderr @@ -1,4 +1,4 @@ mod121.hs:5:5: error: - • Variable not in scope: m2 :: Int -> t - • Perhaps you meant ‘m1’ (imported from Mod121_A) + Variable not in scope: m2 :: Int -> t + Suggested fix: Perhaps use ‘m1’ (imported from Mod121_A) diff --git a/testsuite/tests/module/mod124.stderr b/testsuite/tests/module/mod124.stderr index a052a506ad..8c1109314b 100644 --- a/testsuite/tests/module/mod124.stderr +++ b/testsuite/tests/module/mod124.stderr @@ -1,5 +1,6 @@ mod124.hs:6:6: error: Not in scope: type constructor or class ‘T’ - Perhaps you want to remove ‘T’ from the explicit hiding list - in the import of ‘Mod124_A’ (mod124.hs:4:1-26). + Suggested fix: + Perhaps you want to remove ‘T’ from the explicit hiding list + in the import of ‘Mod124_A’ (mod124.hs:4:1-26). diff --git a/testsuite/tests/module/mod125.stderr b/testsuite/tests/module/mod125.stderr index e2b29849c4..d21066e279 100644 --- a/testsuite/tests/module/mod125.stderr +++ b/testsuite/tests/module/mod125.stderr @@ -1,5 +1,6 @@ mod125.hs:7:5: error: Data constructor not in scope: T - Perhaps you want to remove ‘T’ from the explicit hiding list - in the import of ‘Mod125_A’ (mod125.hs:4:1-26). + Suggested fix: + Perhaps you want to remove ‘T’ from the explicit hiding list + in the import of ‘Mod125_A’ (mod125.hs:4:1-26). diff --git a/testsuite/tests/module/mod126.stderr b/testsuite/tests/module/mod126.stderr index 385ce4b341..871ac14945 100644 --- a/testsuite/tests/module/mod126.stderr +++ b/testsuite/tests/module/mod126.stderr @@ -1,5 +1,6 @@ mod126.hs:7:5: error: Data constructor not in scope: T - Perhaps you want to remove ‘T’ from the explicit hiding list - in the import of ‘Mod126_A’ (mod126.hs:4:1-26). + Suggested fix: + Perhaps you want to remove ‘T’ from the explicit hiding list + in the import of ‘Mod126_A’ (mod126.hs:4:1-26). diff --git a/testsuite/tests/module/mod127.stderr b/testsuite/tests/module/mod127.stderr index 861d492d1a..66b1c1a530 100644 --- a/testsuite/tests/module/mod127.stderr +++ b/testsuite/tests/module/mod127.stderr @@ -1,5 +1,6 @@ mod127.hs:6:6: error: Not in scope: type constructor or class ‘T’ - Perhaps you want to remove ‘T’ from the explicit hiding list - in the import of ‘Mod127_A’ (mod127.hs:4:1-26). + Suggested fix: + Perhaps you want to remove ‘T’ from the explicit hiding list + in the import of ‘Mod127_A’ (mod127.hs:4:1-26). diff --git a/testsuite/tests/module/mod130.stderr b/testsuite/tests/module/mod130.stderr index 9e41bcdc42..e19a3e258b 100644 --- a/testsuite/tests/module/mod130.stderr +++ b/testsuite/tests/module/mod130.stderr @@ -1,5 +1,6 @@ mod130.hs:7:5: error: Variable not in scope: (<) :: t0 -> Int -> Int - Perhaps you want to remove ‘<’ from the explicit hiding list - in the import of ‘Prelude’ (mod130.hs:4:1-33). + Suggested fix: + Perhaps you want to remove ‘<’ from the explicit hiding list + in the import of ‘Prelude’ (mod130.hs:4:1-33). diff --git a/testsuite/tests/module/mod132.stderr b/testsuite/tests/module/mod132.stderr index 0c901d090c..4913c59b06 100644 --- a/testsuite/tests/module/mod132.stderr +++ b/testsuite/tests/module/mod132.stderr @@ -3,6 +3,6 @@ mod132.hs:6:7: error: • Illegal term-level use of the type constructor or class ‘Foo’ • imported from ‘Mod132_B’ at mod132.hs:4:1-15 (and originally defined in ‘Mod132_A’ at Mod132_A.hs:3:1-14) - • Perhaps you meant variable ‘foo’ (line 6) + • Perhaps use variable ‘foo’ (line 6) • In the expression: Foo In an equation for ‘foo’: foo = Foo diff --git a/testsuite/tests/module/mod134.stderr b/testsuite/tests/module/mod134.stderr index 75c556cd4f..a911e32c84 100644 --- a/testsuite/tests/module/mod134.stderr +++ b/testsuite/tests/module/mod134.stderr @@ -1,9 +1,10 @@ mod134.hs:6:19: error: Not in scope: ‘Prelude.head’ - Perhaps you meant one of these: - ‘Prelude.read’ (imported from Prelude), - ‘Prelude.reads’ (imported from Prelude), - ‘Prelude.id’ (imported from Prelude) - Perhaps you want to remove ‘head’ from the explicit hiding list - in the import of ‘Prelude’ (mod134.hs:4:1-28). + Suggested fixes: + • Perhaps use one of these: + ‘Prelude.read’ (imported from Prelude), + ‘Prelude.reads’ (imported from Prelude), + ‘Prelude.id’ (imported from Prelude) + • Perhaps you want to remove ‘head’ from the explicit hiding list + in the import of ‘Prelude’ (mod134.hs:4:1-28). diff --git a/testsuite/tests/module/mod136.stderr b/testsuite/tests/module/mod136.stderr index fc5e0d682c..3a54d8f2e3 100644 --- a/testsuite/tests/module/mod136.stderr +++ b/testsuite/tests/module/mod136.stderr @@ -1,6 +1,7 @@ mod136.hs:7:5: error: Variable not in scope: zipWith5 - Perhaps you meant one of these: - ‘zipWith’ (imported from Mod136_A), - ‘zipWith3’ (imported from Mod136_A) + Suggested fix: + Perhaps use one of these: + ‘zipWith’ (imported from Mod136_A), + ‘zipWith3’ (imported from Mod136_A) diff --git a/testsuite/tests/module/mod160.stderr b/testsuite/tests/module/mod160.stderr index d853c67e6b..d7cba8d1e8 100644 --- a/testsuite/tests/module/mod160.stderr +++ b/testsuite/tests/module/mod160.stderr @@ -1,6 +1,7 @@ mod160.hs:12:5: error: - • Variable not in scope: m3 :: Char -> t - • Perhaps you meant one of these: + Variable not in scope: m3 :: Char -> t + Suggested fix: + Perhaps use one of these: ‘m1’ (imported from Mod159_D), ‘m2’ (imported from Mod159_D) exit(1) diff --git a/testsuite/tests/module/mod29.stderr b/testsuite/tests/module/mod29.stderr index e70c5df83d..0392497c2e 100644 --- a/testsuite/tests/module/mod29.stderr +++ b/testsuite/tests/module/mod29.stderr @@ -1,5 +1,6 @@ mod29.hs:6:12: error: Not in scope: type constructor or class ‘Char’ - Perhaps you want to add ‘Char’ to the import list in the import of - ‘Prelude’ (mod29.hs:5:1-19). + Suggested fix: + Perhaps you want to add ‘Char’ to the import list in the import of + ‘Prelude’ (mod29.hs:5:1-19). diff --git a/testsuite/tests/module/mod36.stderr b/testsuite/tests/module/mod36.stderr index f70285acea..438b97b6aa 100644 --- a/testsuite/tests/module/mod36.stderr +++ b/testsuite/tests/module/mod36.stderr @@ -1,5 +1,6 @@ mod36.hs:5:5: error: Variable not in scope: const - Perhaps you want to remove ‘const’ from the explicit hiding list - in the import of ‘Prelude’ (mod36.hs:3:1-32). + Suggested fix: + Perhaps you want to remove ‘const’ from the explicit hiding list + in the import of ‘Prelude’ (mod36.hs:3:1-32). diff --git a/testsuite/tests/module/mod4.stderr b/testsuite/tests/module/mod4.stderr index d9e8339740..2b4d400b28 100644 --- a/testsuite/tests/module/mod4.stderr +++ b/testsuite/tests/module/mod4.stderr @@ -1,5 +1,5 @@ mod4.hs:2:10: error: • Not in scope: data constructor ‘K2’ - Perhaps you meant ‘K1’ (line 3) • In the export: T(K1, K2) + Suggested fix: Perhaps use ‘K1’ (line 3) diff --git a/testsuite/tests/module/mod62.stderr b/testsuite/tests/module/mod62.stderr index 0a2ceff6d9..539a905f26 100644 --- a/testsuite/tests/module/mod62.stderr +++ b/testsuite/tests/module/mod62.stderr @@ -3,4 +3,4 @@ mod62.hs:3:9: error: Qualified name in binding position: M.y mod62.hs:3:22: error: Not in scope: ‘M.y’ - Perhaps you meant ‘M.x’ (line 3) + Suggested fix: Perhaps use ‘M.x’ (line 3) diff --git a/testsuite/tests/module/mod73.stderr b/testsuite/tests/module/mod73.stderr index 12dc6b2b39..2fe9582a4a 100644 --- a/testsuite/tests/module/mod73.stderr +++ b/testsuite/tests/module/mod73.stderr @@ -1,8 +1,9 @@ mod73.hs:3:7: error: Not in scope: ‘Prelude.g’ - Perhaps you meant one of these: - data constructor ‘Prelude.GT’ (imported from Prelude), - data constructor ‘Prelude.EQ’ (imported from Prelude), - data constructor ‘Prelude.LT’ (imported from Prelude) - Module ‘Prelude’ does not export ‘g’. + NB: the module ‘Prelude’ does not export ‘g’. + Suggested fix: + Perhaps use one of these: + data constructor ‘Prelude.EQ’ (imported from Prelude), + data constructor ‘Prelude.GT’ (imported from Prelude), + data constructor ‘Prelude.LT’ (imported from Prelude) diff --git a/testsuite/tests/module/mod74.stderr b/testsuite/tests/module/mod74.stderr index 55a8ca65f2..e971158606 100644 --- a/testsuite/tests/module/mod74.stderr +++ b/testsuite/tests/module/mod74.stderr @@ -1,4 +1,4 @@ mod74.hs:3:7: error: Not in scope: ‘N.g’ - No module named ‘N’ is imported. + NB: no module named ‘N’ is imported. diff --git a/testsuite/tests/module/mod87.stderr b/testsuite/tests/module/mod87.stderr index 504075b47c..c5b92a85da 100644 --- a/testsuite/tests/module/mod87.stderr +++ b/testsuite/tests/module/mod87.stderr @@ -1,5 +1,6 @@ mod87.hs:4:5: error: - • Data constructor not in scope: Left :: GHC.Types.Char -> t - • Perhaps you want to add ‘Left’ to the import list - in the import of ‘Prelude’ (mod87.hs:3:1-22). + Data constructor not in scope: Left :: GHC.Types.Char -> t + Suggested fix: + Perhaps you want to add ‘Left’ to the import list in the import of + ‘Prelude’ (mod87.hs:3:1-22). diff --git a/testsuite/tests/module/mod88.stderr b/testsuite/tests/module/mod88.stderr index f145350c4e..aa2627c861 100644 --- a/testsuite/tests/module/mod88.stderr +++ b/testsuite/tests/module/mod88.stderr @@ -1,5 +1,6 @@ mod88.hs:5:5: error: Not in scope: data constructor ‘Prelude.Left’ - Perhaps you want to add ‘Left’ to the import list in the import of - ‘Prelude’ (mod88.hs:4:1-30). + Suggested fix: + Perhaps you want to add ‘Left’ to the import list in the import of + ‘Prelude’ (mod88.hs:4:1-30). diff --git a/testsuite/tests/module/mod97.stderr b/testsuite/tests/module/mod97.stderr index f5cec79104..db9b30e83d 100644 --- a/testsuite/tests/module/mod97.stderr +++ b/testsuite/tests/module/mod97.stderr @@ -1,6 +1,7 @@ mod97.hs:4:9: error: - • Variable not in scope: - (==) :: GHC.Types.Char -> GHC.Types.Char -> t - • Perhaps you want to add ‘==’ to the import list in the import of + Variable not in scope: + (==) :: GHC.Types.Char -> GHC.Types.Char -> t + Suggested fix: + Perhaps you want to add ‘==’ to the import list in the import of ‘Prelude’ (mod97.hs:3:1-18). diff --git a/testsuite/tests/overloadedrecflds/ghci/T19314.stdout b/testsuite/tests/overloadedrecflds/ghci/T19314.stdout index 4e09a8a476..ed29a3d212 100644 --- a/testsuite/tests/overloadedrecflds/ghci/T19314.stdout +++ b/testsuite/tests/overloadedrecflds/ghci/T19314.stdout @@ -1,12 +1,14 @@ w :: [a] -> a x :: [a] -> a -<interactive>:1:1: - • Variable not in scope: y - • NB: ‘y’ is a field selector - that has been suppressed by NoFieldSelectors +<interactive>:1:1: error: + Variable not in scope: y + Suggested fix: + Notice that ‘y’ is a field selector + that has been suppressed by NoFieldSelectors. -<interactive>:1:1: - • Variable not in scope: z - • NB: ‘z’ is a field selector - that has been suppressed by NoFieldSelectors +<interactive>:1:1: error: + Variable not in scope: z + Suggested fix: + Notice that ‘z’ is a field selector + that has been suppressed by NoFieldSelectors. diff --git a/testsuite/tests/overloadedrecflds/should_fail/NFSExport.stderr b/testsuite/tests/overloadedrecflds/should_fail/NFSExport.stderr index c704facfc9..86631573a5 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/NFSExport.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/NFSExport.stderr @@ -1,5 +1,6 @@ NFSExport.hs:2:27: error: Not in scope: ‘foo’ - NB: ‘foo’ is a field selector belonging to the type ‘T’ - that has been suppressed by NoFieldSelectors + Suggested fix: + Notice that ‘foo’ is a field selector belonging to the type ‘T’ + that has been suppressed by NoFieldSelectors. diff --git a/testsuite/tests/overloadedrecflds/should_fail/NFSSuppressed.stderr b/testsuite/tests/overloadedrecflds/should_fail/NFSSuppressed.stderr index 51415300e0..204aee2b2b 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/NFSSuppressed.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/NFSSuppressed.stderr @@ -1,6 +1,7 @@ NFSSuppressed.hs:9:5: error: - • Variable not in scope: foo - • Perhaps you meant data constructor ‘Foo’ (line 7) - NB: ‘foo’ is a field selector belonging to the type ‘Foo’ - that has been suppressed by NoFieldSelectors + Variable not in scope: foo + Suggested fixes: + • Perhaps use data constructor ‘Foo’ (line 7) + • Notice that ‘foo’ is a field selector belonging to the type ‘Foo’ + that has been suppressed by NoFieldSelectors. diff --git a/testsuite/tests/parser/should_fail/T17045.stderr b/testsuite/tests/parser/should_fail/T17045.stderr index fdcf4422ea..e67ac82f5e 100644 --- a/testsuite/tests/parser/should_fail/T17045.stderr +++ b/testsuite/tests/parser/should_fail/T17045.stderr @@ -1,5 +1,6 @@ T17045.hs:7:11: error: Not in scope: type constructor or class ‘String’ - Perhaps you want to add ‘String’ to the import list - in the import of ‘Prelude’ (T17045.hs:5:1-27). + Suggested fix: + Perhaps you want to add ‘String’ to the import list + in the import of ‘Prelude’ (T17045.hs:5:1-27). diff --git a/testsuite/tests/parser/should_fail/T8501c.stderr b/testsuite/tests/parser/should_fail/T8501c.stderr index 3b02432822..20975c3c19 100644 --- a/testsuite/tests/parser/should_fail/T8501c.stderr +++ b/testsuite/tests/parser/should_fail/T8501c.stderr @@ -1,6 +1,6 @@ T8501c.hs:4:7: error: - • Variable not in scope: - mdo :: (String -> IO ()) -> String -> IO () - • Perhaps you meant ‘mod’ (imported from Prelude) - Perhaps you meant to use RecursiveDo + Variable not in scope: mdo :: (String -> IO ()) -> String -> IO () + Suggested fixes: + • Perhaps use ‘mod’ (imported from Prelude) + • Perhaps you intended to use RecursiveDo diff --git a/testsuite/tests/parser/should_fail/readFail001.stderr b/testsuite/tests/parser/should_fail/readFail001.stderr index 6425d16c49..f8b3b7e81a 100644 --- a/testsuite/tests/parser/should_fail/readFail001.stderr +++ b/testsuite/tests/parser/should_fail/readFail001.stderr @@ -4,11 +4,15 @@ readFail001.hs:25:11: error: readFail001.hs:38:32: error: Not in scope: type constructor or class ‘Leaf’ - A data constructor of that name is in scope; did you mean DataKinds? + Suggested fix: + Perhaps you intended to use DataKinds + to refer to the data constructor of that name? readFail001.hs:38:41: error: Not in scope: type constructor or class ‘Leaf’ - A data constructor of that name is in scope; did you mean DataKinds? + Suggested fix: + Perhaps you intended to use DataKinds + to refer to the data constructor of that name? readFail001.hs:107:30: error: Not in scope: data constructor ‘Foo’ diff --git a/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr b/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr index 146b0146eb..7bb143e165 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr @@ -1,6 +1,6 @@ NamedExtraConstraintsWildcard.hs:5:1: error: - • Could not deduce: w0 + • Could not deduce w0 from the context: (Eq a, w) bound by the inferred type for ‘foo’: forall a {w :: Constraint}. (Eq a, w) => a -> a diff --git a/testsuite/tests/partial-sigs/should_fail/T14584.stderr b/testsuite/tests/partial-sigs/should_fail/T14584.stderr index 0e7967a276..9d0247f22b 100644 --- a/testsuite/tests/partial-sigs/should_fail/T14584.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T14584.stderr @@ -11,7 +11,7 @@ T14584.hs:56:41: warning: [-Wdeferred-type-errors (in -Wdefault)] act @_ @_ @act (fromSing @m (sing @m @a :: Sing _)) T14584.hs:56:50: warning: [-Wdeferred-type-errors (in -Wdefault)] - • Could not deduce: m ~ * + • Could not deduce (m ~ *) from the context: (Action act, Monoid a, Good m) bound by the instance declaration at T14584.hs:54:10-89 ‘m’ is a rigid type variable bound by diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInADTContext2.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInADTContext2.stderr index 441f46466b..32fc28b6fa 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInADTContext2.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInADTContext2.stderr @@ -4,4 +4,4 @@ WildcardInADTContext2.hs:1:53: warning: [-Wdeprecated-flags (in -Wdefault)] WildcardInADTContext2.hs:4:10: error: Not in scope: type variable ‘_a’ - Perhaps you meant ‘a’ (line 4) + Suggested fix: Perhaps use ‘a’ (line 4) diff --git a/testsuite/tests/patsyn/should_fail/T13470.stderr b/testsuite/tests/patsyn/should_fail/T13470.stderr index 748b5d1da2..87bd4884dc 100644 --- a/testsuite/tests/patsyn/should_fail/T13470.stderr +++ b/testsuite/tests/patsyn/should_fail/T13470.stderr @@ -5,4 +5,4 @@ T13470.hs:11:11: error: Not in scope: ‘nan’ T13470.hs:16:12: error: Not in scope: ‘x12345’ - Perhaps you meant ‘x123456’ (line 16) + Suggested fix: Perhaps use ‘x123456’ (line 16) diff --git a/testsuite/tests/patsyn/should_fail/T15685.stderr b/testsuite/tests/patsyn/should_fail/T15685.stderr index 723d0fcff3..afc6d45de4 100644 --- a/testsuite/tests/patsyn/should_fail/T15685.stderr +++ b/testsuite/tests/patsyn/should_fail/T15685.stderr @@ -1,6 +1,6 @@ T15685.hs:13:24: error: - • Could not deduce: k ~ [k0] + • Could not deduce (k ~ [k0]) from the context: as ~ (a : as1) bound by a pattern with constructor: Here :: forall {k} (f :: k -> *) (a :: k) (as :: [k]). @@ -10,7 +10,7 @@ T15685.hs:13:24: error: ‘k’ is a rigid type variable bound by the inferred type of HereNil :: NS f as at T15685.hs:13:9-15 - Possible fix: add a type signature for ‘HereNil’ • In the pattern: Nil In the pattern: Here Nil In the declaration for pattern synonym ‘HereNil’ + Suggested fix: Consider giving ‘HereNil’ a type signature diff --git a/testsuite/tests/patsyn/should_fail/T15695.stderr b/testsuite/tests/patsyn/should_fail/T15695.stderr index 555c004360..62b082fd41 100644 --- a/testsuite/tests/patsyn/should_fail/T15695.stderr +++ b/testsuite/tests/patsyn/should_fail/T15695.stderr @@ -1,6 +1,6 @@ T15695.hs:40:14: warning: [-Wdeferred-type-errors (in -Wdefault)] - • Could not deduce: a2 ~ NA 'VO + • Could not deduce (a2 ~ NA 'VO) from the context: ((* -> * -> *) ~ (k -> k1 -> *), Either ~~ f, ctx ~~ (a2 ':&: (a3 ':&: 'E)), f a2 ~~ f1, f1 a3 ~~ a4) bound by a pattern with pattern synonym: diff --git a/testsuite/tests/patsyn/should_fail/records-nofieldselectors.stderr b/testsuite/tests/patsyn/should_fail/records-nofieldselectors.stderr index 26124310fc..5b24406cbf 100644 --- a/testsuite/tests/patsyn/should_fail/records-nofieldselectors.stderr +++ b/testsuite/tests/patsyn/should_fail/records-nofieldselectors.stderr @@ -1,5 +1,6 @@ records-nofieldselectors.hs:9:12: error: - • Variable not in scope: x :: [a0] -> Int - • NB: ‘x’ is a field selector - that has been suppressed by NoFieldSelectors + Variable not in scope: x :: [a0] -> Int + Suggested fix: + Notice that ‘x’ is a field selector + that has been suppressed by NoFieldSelectors. diff --git a/testsuite/tests/pmcheck/should_compile/T17646.stderr b/testsuite/tests/pmcheck/should_compile/T17646.stderr index 93a60bc466..e5a3964a0a 100644 --- a/testsuite/tests/pmcheck/should_compile/T17646.stderr +++ b/testsuite/tests/pmcheck/should_compile/T17646.stderr @@ -4,12 +4,12 @@ T17646.hs:11:1: warning: [-Wincomplete-patterns (in -Wextra)] In an equation for ‘g’: Guards do not cover entire pattern space T17646.hs:11:5: warning: [-Winaccessible-code (in -Wdefault)] - • Couldn't match type ‘'True’ with ‘'False’ - Inaccessible code in + • Inaccessible code in a pattern with constructor: B :: T 'False, in a pattern binding in a pattern guard for an equation for ‘g’ + Couldn't match type ‘'True’ with ‘'False’ • In the pattern: B In a stmt of a pattern guard for an equation for ‘g’: diff --git a/testsuite/tests/pmcheck/should_compile/T18572.stderr b/testsuite/tests/pmcheck/should_compile/T18572.stderr index a6ed65e677..b56ef9f186 100644 --- a/testsuite/tests/pmcheck/should_compile/T18572.stderr +++ b/testsuite/tests/pmcheck/should_compile/T18572.stderr @@ -1,18 +1,17 @@ T18572.hs:12:1: warning: [-Winaccessible-code (in -Wdefault)] - • Couldn't match type ‘'False’ with ‘'True’ - Inaccessible code in + • Inaccessible code in a pattern with constructor: STrue :: SBool 'True, in a pattern binding + Couldn't match type ‘'False’ with ‘'True’ • In the pattern: STrue In a pattern binding: STrue = SFalse T18572.hs:12:1: warning: [-Wincomplete-uni-patterns (in -Wall)] Pattern match(es) are non-exhaustive In a pattern binding: - Patterns of type ‘SBool 'False’ not matched: SFalse + Patterns of type ‘SBool 'False’ not matched: SFalse T18572.hs:12:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In a pattern binding: STrue = ... - diff --git a/testsuite/tests/pmcheck/should_compile/T18610.stderr b/testsuite/tests/pmcheck/should_compile/T18610.stderr index cc2ddf2996..c457662562 100644 --- a/testsuite/tests/pmcheck/should_compile/T18610.stderr +++ b/testsuite/tests/pmcheck/should_compile/T18610.stderr @@ -9,9 +9,9 @@ T18610.hs:24:7: warning: [-Wincomplete-patterns (in -Wextra)] Patterns of type ‘(Bool, Bool)’ not matched: _ T18610.hs:53:3: warning: [-Winaccessible-code (in -Wdefault)] - • Couldn't match type ‘Bool’ with ‘Int’ - Inaccessible code in + • Inaccessible code in a pattern with constructor: Refl :: forall {k} (a :: k). a :~: a, in an equation for ‘k’ + Couldn't match type ‘Bool’ with ‘Int’ • In the pattern: Refl In an equation for ‘k’: k Refl _ | considerAccessible = 2 diff --git a/testsuite/tests/polykinds/T18451.stderr b/testsuite/tests/polykinds/T18451.stderr index 5f61afcbbe..0bd3f9893b 100644 --- a/testsuite/tests/polykinds/T18451.stderr +++ b/testsuite/tests/polykinds/T18451.stderr @@ -1,9 +1,9 @@ T18451.hs:10:58: error: • Expected kind ‘k0’, but ‘b’ has kind ‘k’ + Type variable kinds: + a :: k0 + k :: Const (*) a • In the second argument of ‘SameKind’, namely ‘b’ In the type ‘forall (b :: k). SameKind a b’ In the type declaration for ‘T’ - • Type variable kinds: - a :: k0 - k :: Const (*) a diff --git a/testsuite/tests/polykinds/T7230.stderr b/testsuite/tests/polykinds/T7230.stderr index f59e44d5cd..aea0ea4a9d 100644 --- a/testsuite/tests/polykinds/T7230.stderr +++ b/testsuite/tests/polykinds/T7230.stderr @@ -1,6 +1,6 @@ T7230.hs:48:32: error: - • Could not deduce: (x :<<= x1) ~ 'True + • Could not deduce ((x :<<= x1) ~ 'True) from the context: Increasing xs ~ 'True bound by the type signature for: crash :: forall (xs :: [Nat]). diff --git a/testsuite/tests/polykinds/T7438.stderr b/testsuite/tests/polykinds/T7438.stderr index dd953fa69a..ff1e74cc27 100644 --- a/testsuite/tests/polykinds/T7438.stderr +++ b/testsuite/tests/polykinds/T7438.stderr @@ -1,6 +1,6 @@ T7438.hs:6:14: error: - • Could not deduce: p ~ p1 + • Could not deduce (p ~ p1) from the context: b ~ a bound by a pattern with constructor: Nil :: forall {k} (a :: k). Thrist a a, @@ -12,9 +12,9 @@ T7438.hs:6:14: error: ‘p1’ is a rigid type variable bound by the inferred type of go :: Thrist a b -> p -> p1 at T7438.hs:6:1-16 - Possible fix: add a type signature for ‘go’ • In the expression: acc In an equation for ‘go’: go Nil acc = acc • Relevant bindings include acc :: p (bound at T7438.hs:6:8) go :: Thrist a b -> p -> p1 (bound at T7438.hs:6:1) + Suggested fix: Consider giving ‘go’ a type signature diff --git a/testsuite/tests/polykinds/T7594.stderr b/testsuite/tests/polykinds/T7594.stderr index fc0aa1fcc3..9a75c80ec3 100644 --- a/testsuite/tests/polykinds/T7594.stderr +++ b/testsuite/tests/polykinds/T7594.stderr @@ -1,6 +1,6 @@ T7594.hs:37:12: error: - • Could not deduce: b ~ IO () + • Could not deduce (b ~ IO ()) from the context: (:&:) c0 Real a bound by a type expected by the context: forall a. (:&:) c0 Real a => a -> b @@ -10,8 +10,8 @@ T7594.hs:37:12: error: ‘b’ is a rigid type variable bound by the inferred type of bar2 :: b at T7594.hs:37:1-19 - Possible fix: add a type signature for ‘bar2’ • In the first argument of ‘app’, namely ‘print’ In the expression: app print q2 In an equation for ‘bar2’: bar2 = app print q2 • Relevant bindings include bar2 :: b (bound at T7594.hs:37:1) + Suggested fix: Consider giving ‘bar2’ a type signature diff --git a/testsuite/tests/qualifieddo/should_fail/qdofail003.stderr b/testsuite/tests/qualifieddo/should_fail/qdofail003.stderr index 8cf5f670ac..ed59cd2bf4 100644 --- a/testsuite/tests/qualifieddo/should_fail/qdofail003.stderr +++ b/testsuite/tests/qualifieddo/should_fail/qdofail003.stderr @@ -1,5 +1,6 @@ -qdofail003.hs:11:5: +qdofail003.hs:11:5: error: Not in scope: ‘P.>>’ - Perhaps you want to remove ‘>>’ from the explicit hiding list - in the import of ‘Prelude’ (qdofail003.hs:3:1-33). + Suggested fix: + Perhaps you want to remove ‘>>’ from the explicit hiding list + in the import of ‘Prelude’ (qdofail003.hs:3:1-33). diff --git a/testsuite/tests/qualifieddo/should_fail/qdofail004.stderr b/testsuite/tests/qualifieddo/should_fail/qdofail004.stderr index 39752a2995..cfe60a9010 100644 --- a/testsuite/tests/qualifieddo/should_fail/qdofail004.stderr +++ b/testsuite/tests/qualifieddo/should_fail/qdofail004.stderr @@ -1,5 +1,6 @@ -qdofail004.hs:10:5: +qdofail004.hs:10:5: error: Not in scope: ‘P.fail’ - Perhaps you want to remove ‘fail’ from the explicit hiding list - in the import of ‘Prelude’ (qdofail004.hs:3:1-33). + Suggested fix: + Perhaps you want to remove ‘fail’ from the explicit hiding list + in the import of ‘Prelude’ (qdofail004.hs:3:1-33). diff --git a/testsuite/tests/quantified-constraints/T19921.stderr b/testsuite/tests/quantified-constraints/T19921.stderr index 0465b10be9..9c2b064204 100644 --- a/testsuite/tests/quantified-constraints/T19921.stderr +++ b/testsuite/tests/quantified-constraints/T19921.stderr @@ -1,6 +1,6 @@ T19921.hs:29:8: error: - • Could not deduce: r arising from a use of ‘Dict’ + • Could not deduce r arising from a use of ‘Dict’ from the context: (x \/ y) \/ z bound by a quantified context at T19921.hs:1:1 or from: (x ⇒ r, (y \/ z) ⇒ r) diff --git a/testsuite/tests/rename/prog002/rename.prog002.stderr b/testsuite/tests/rename/prog002/rename.prog002.stderr index 01ab86946e..9fe478288f 100644 --- a/testsuite/tests/rename/prog002/rename.prog002.stderr +++ b/testsuite/tests/rename/prog002/rename.prog002.stderr @@ -1,5 +1,6 @@ rnfail037.hs:8:7: error: Not in scope: data constructor ‘Rn037Help.C’ - Perhaps you want to remove ‘C’ from the explicit hiding list - in the import of ‘Rn037Help’ (rnfail037.hs:4:1-28). + Suggested fix: + Perhaps you want to remove ‘C’ from the explicit hiding list + in the import of ‘Rn037Help’ (rnfail037.hs:4:1-28). diff --git a/testsuite/tests/rename/should_compile/T9778.stderr b/testsuite/tests/rename/should_compile/T9778.stderr index 81c69fdb8e..9fcc9ece34 100644 --- a/testsuite/tests/rename/should_compile/T9778.stderr +++ b/testsuite/tests/rename/should_compile/T9778.stderr @@ -1,4 +1,4 @@ T9778.hs:8:10: warning: [-Wunticked-promoted-constructors (in -Wall)] Unticked promoted constructor: ‘A’. - Use ‘'A’ instead of ‘A’. + Suggested fix: Use ‘'A’ instead of ‘A’. diff --git a/testsuite/tests/rename/should_fail/T10618.stderr b/testsuite/tests/rename/should_fail/T10618.stderr index cba5e47aff..629e93727b 100644 --- a/testsuite/tests/rename/should_fail/T10618.stderr +++ b/testsuite/tests/rename/should_fail/T10618.stderr @@ -1,6 +1,7 @@ T10618.hs:3:22: error: - • Variable not in scope: (<|>) :: Maybe (Maybe a0) -> Maybe a1 -> t - • Perhaps you meant one of these: + Variable not in scope: (<|>) :: Maybe (Maybe a0) -> Maybe a1 -> t + Suggested fix: + Perhaps use one of these: ‘<>’ (imported from Prelude), ‘<$>’ (imported from Prelude), ‘<*>’ (imported from Prelude) diff --git a/testsuite/tests/rename/should_fail/T10781.stderr b/testsuite/tests/rename/should_fail/T10781.stderr index d86f0d1beb..3a5ccde99f 100644 --- a/testsuite/tests/rename/should_fail/T10781.stderr +++ b/testsuite/tests/rename/should_fail/T10781.stderr @@ -1,4 +1,4 @@ T10781.hs:12:5: error: Not in scope: ‘Foo._name’ - No module named ‘Foo’ is imported. + NB: no module named ‘Foo’ is imported. diff --git a/testsuite/tests/rename/should_fail/T11071.stderr b/testsuite/tests/rename/should_fail/T11071.stderr index 0e77fae7de..4faad680ec 100644 --- a/testsuite/tests/rename/should_fail/T11071.stderr +++ b/testsuite/tests/rename/should_fail/T11071.stderr @@ -1,53 +1,60 @@ T11071.hs:19:12: error: Not in scope: ‘NoSuchModule.foo’ - No module named ‘NoSuchModule’ is imported. + NB: no module named ‘NoSuchModule’ is imported. T11071.hs:20:12: error: Not in scope: ‘Data.List.foobar’ - Module ‘Data.List’ does not export ‘foobar’. + NB: the module ‘Data.List’ does not export ‘foobar’. T11071.hs:21:12: error: Not in scope: ‘M.foobar’ - Neither ‘Data.IntMap’ nor ‘Data.Map’ exports ‘foobar’. + NB: neither ‘Data.IntMap’ nor ‘Data.Map’ export ‘foobar’. T11071.hs:22:12: error: Not in scope: ‘M'.foobar’ - Neither ‘System.IO’, ‘Data.IntMap’ nor ‘Data.Map’ exports ‘foobar’. + NB: neither ‘System.IO’, + ‘Data.IntMap’ nor ‘Data.Map’ export ‘foobar’. T11071.hs:23:12: error: Not in scope: ‘Data.List.sort’ - Perhaps you want to add ‘sort’ to the import list in the import of - ‘Data.List’ (T11071.hs:3:1-24). + Suggested fix: + Perhaps you want to add ‘sort’ to the import list in the import of + ‘Data.List’ (T11071.hs:3:1-24). T11071.hs:24:12: error: Not in scope: ‘Data.List.unlines’ - Perhaps you meant ‘Data.List.lines’ (imported from Data.List) - Perhaps you want to add ‘unlines’ to the import list - in the import of ‘Data.List’ (T11071.hs:3:1-24). + Suggested fixes: + • Perhaps use ‘Data.List.lines’ (imported from Data.List) + • Perhaps you want to add ‘unlines’ to the import list + in the import of ‘Data.List’ (T11071.hs:3:1-24). T11071.hs:25:12: error: Not in scope: ‘M.size’ - Perhaps you want to add ‘size’ to one of these import lists: - ‘Data.IntMap’ (T11071.hs:5:1-36) - ‘Data.Map’ (T11071.hs:4:1-33) + Suggested fix: + Perhaps you want to add ‘size’ to one of these import lists: + ‘Data.IntMap’ (T11071.hs:5:1-36) + ‘Data.Map’ (T11071.hs:4:1-33) T11071.hs:26:12: error: Not in scope: ‘M.valid’ - Perhaps you meant one of these: - ‘M'.valid’ (imported from Data.Map), - ‘M'.valid’ (imported from Data.Map) - Perhaps you want to add ‘valid’ to the import list in the import of - ‘Data.Map’ (T11071.hs:4:1-33). + Suggested fixes: + • Perhaps use one of these: + ‘M'.valid’ (imported from Data.Map), + ‘M'.valid’ (imported from Data.Map) + • Perhaps you want to add ‘valid’ to the import list + in the import of ‘Data.Map’ (T11071.hs:4:1-33). T11071.hs:27:12: error: Not in scope: data constructor ‘Ord.Down’ - Perhaps you want to remove ‘Down’ from the explicit hiding list - in the import of ‘Data.Ord’ (T11071.hs:8:1-46). + Suggested fix: + Perhaps you want to remove ‘Down’ from the explicit hiding list + in the import of ‘Data.Ord’ (T11071.hs:8:1-46). T11071.hs:28:12: error: Not in scope: ‘M'.size’ - Perhaps you want to remove ‘size’ from the hiding clauses - in one of these imports: - ‘Data.IntMap’ (T11071.hs:12:1-48) - ‘Data.Map’ (T11071.hs:10:1-53) + Suggested fix: + Perhaps you want to remove ‘size’ from the hiding clauses + in one of these imports: + ‘Data.IntMap’ (T11071.hs:12:1-48) + ‘Data.Map’ (T11071.hs:10:1-53) diff --git a/testsuite/tests/rename/should_fail/T11071a.stderr b/testsuite/tests/rename/should_fail/T11071a.stderr index 853a79d3d7..5a2a9e92fa 100644 --- a/testsuite/tests/rename/should_fail/T11071a.stderr +++ b/testsuite/tests/rename/should_fail/T11071a.stderr @@ -1,26 +1,30 @@ T11071a.hs:12:12: error: - • Variable not in scope: intersperse - • Perhaps you want to add ‘intersperse’ to the import list + Variable not in scope: intersperse + Suggested fix: + Perhaps you want to add ‘intersperse’ to the import list in the import of ‘Data.List’ (T11071a.hs:3:1-24). T11071a.hs:13:12: error: - • Variable not in scope: foldl' - • Perhaps you meant one of these: - ‘foldl’ (imported from Prelude), ‘foldl1’ (imported from Prelude), - ‘foldr’ (imported from Prelude) - Perhaps you want to add ‘foldl'’ to one of these import lists: - ‘Data.List’ (T11071a.hs:3:1-24) - ‘Data.IntMap’ (T11071a.hs:4:1-21) + Variable not in scope: foldl' + Suggested fixes: + • Perhaps use one of these: + ‘foldl’ (imported from Prelude), ‘foldl1’ (imported from Prelude), + ‘foldr’ (imported from Prelude) + • Perhaps you want to add ‘foldl'’ to one of these import lists: + ‘Data.List’ (T11071a.hs:3:1-24) + ‘Data.IntMap’ (T11071a.hs:4:1-21) T11071a.hs:14:12: error: - • Data constructor not in scope: Down - • Perhaps you want to remove ‘Down’ from the explicit hiding list + Data constructor not in scope: Down + Suggested fix: + Perhaps you want to remove ‘Down’ from the explicit hiding list in the import of ‘Data.Ord’ (T11071a.hs:5:1-29). T11071a.hs:15:12: error: - • Data constructor not in scope: True - • Perhaps you want to remove ‘True’ from the explicit hiding list + Data constructor not in scope: True + Suggested fix: + Perhaps you want to remove ‘True’ from the explicit hiding list in the import of ‘Prelude’ (T11071a.hs:6:1-28). T11071a.hs:16:12: error: Variable not in scope: foobar diff --git a/testsuite/tests/rename/should_fail/T12681.stderr b/testsuite/tests/rename/should_fail/T12681.stderr index 547cf4c01c..9f57265bcd 100644 --- a/testsuite/tests/rename/should_fail/T12681.stderr +++ b/testsuite/tests/rename/should_fail/T12681.stderr @@ -1,4 +1,4 @@ T12681.hs:4:17: error: Not in scope: ‘a’ - Perhaps you meant ‘T12681a.a’ (imported from T12681a) + Suggested fix: Perhaps use ‘T12681a.a’ (imported from T12681a) diff --git a/testsuite/tests/rename/should_fail/T13568.stderr b/testsuite/tests/rename/should_fail/T13568.stderr index 63ee18409a..b0fce190e0 100644 --- a/testsuite/tests/rename/should_fail/T13568.stderr +++ b/testsuite/tests/rename/should_fail/T13568.stderr @@ -1,4 +1,6 @@ T13568.hs:7:8: error: Not in scope: type constructor or class ‘A’ - A data constructor of that name is in scope; did you mean DataKinds? + Suggested fix: + Perhaps you intended to use DataKinds + to refer to the data constructor of that name? diff --git a/testsuite/tests/rename/should_fail/T14225.stderr b/testsuite/tests/rename/should_fail/T14225.stderr index f54e463e53..c3ea46a789 100644 --- a/testsuite/tests/rename/should_fail/T14225.stderr +++ b/testsuite/tests/rename/should_fail/T14225.stderr @@ -1,3 +1,4 @@ + <interactive>:2:1: error: Not in scope: ‘M.fromJusr’ - Perhaps you meant ‘M.fromJust’ (imported from Data.Maybe) + Suggested fix: Perhaps use ‘M.fromJust’ (imported from Data.Maybe) diff --git a/testsuite/tests/rename/should_fail/T15539.stderr b/testsuite/tests/rename/should_fail/T15539.stderr index 9ac202f420..c3c1653b51 100644 --- a/testsuite/tests/rename/should_fail/T15539.stderr +++ b/testsuite/tests/rename/should_fail/T15539.stderr @@ -1,4 +1,5 @@ T15539.hs:6:13: error: - • Variable not in scope: baz - • Perhaps you meant one of these: ‘bam’ (line 17), ‘bar’ (line 15) + Variable not in scope: baz + Suggested fix: + Perhaps use one of these: ‘bam’ (line 17), ‘bar’ (line 15) diff --git a/testsuite/tests/rename/should_fail/T15607.stderr b/testsuite/tests/rename/should_fail/T15607.stderr index 4c1111eef9..2a534d2a5a 100644 --- a/testsuite/tests/rename/should_fail/T15607.stderr +++ b/testsuite/tests/rename/should_fail/T15607.stderr @@ -1,5 +1,6 @@ T15607.hs:6:10: error: - • Variable not in scope: pure :: t0 -> t - • Perhaps you want to remove ‘pure’ from the explicit hiding list + Variable not in scope: pure :: t0 -> t + Suggested fix: + Perhaps you want to remove ‘pure’ from the explicit hiding list in the import of ‘Prelude’ (T15607.hs:4:1-36). diff --git a/testsuite/tests/rename/should_fail/T16504.stderr b/testsuite/tests/rename/should_fail/T16504.stderr index 2fc822d3a2..798404afc3 100644 --- a/testsuite/tests/rename/should_fail/T16504.stderr +++ b/testsuite/tests/rename/should_fail/T16504.stderr @@ -2,14 +2,16 @@ T16504.hs:5:1: error: The type signature for ‘simpleFuntcion’ lacks an accompanying binding - Perhaps you meant one of these: + Suggested fix: + Perhaps use one of these: ‘simpleFunction’ (Defined at T16504.hs:6:1), ‘simpleFunction2’ (Defined at T16504.hs:7:1) T16504.hs:11:9: error: The type signature for ‘anotherFunction’ lacks an accompanying binding - Perhaps you meant ‘anotherFuntcion’ (Defined at T16504.hs:12:9) + Suggested fix: + Perhaps use ‘anotherFuntcion’ (Defined at T16504.hs:12:9) T16504.hs:15:1: error: The type signature for ‘nonexistentFuntcion’ diff --git a/testsuite/tests/rename/should_fail/T19843b.stderr b/testsuite/tests/rename/should_fail/T19843b.stderr index 5b457440eb..6a92e26a4d 100644 --- a/testsuite/tests/rename/should_fail/T19843b.stderr +++ b/testsuite/tests/rename/should_fail/T19843b.stderr @@ -1,4 +1,4 @@ -T19843b.hs:7:6: - • Data constructor not in scope: Map :: (a0 -> Bool) -> t -> t0 - • Perhaps you meant variable ‘map’ (imported from Prelude) +T19843b.hs:7:6: error: + Data constructor not in scope: Map :: (a0 -> Bool) -> t -> t0 + Suggested fix: Perhaps use variable ‘map’ (imported from Prelude) diff --git a/testsuite/tests/rename/should_fail/T19843c.stderr b/testsuite/tests/rename/should_fail/T19843c.stderr index 94cdadf528..d15ac772b4 100644 --- a/testsuite/tests/rename/should_fail/T19843c.stderr +++ b/testsuite/tests/rename/should_fail/T19843c.stderr @@ -1,4 +1,4 @@ T19843c.hs:6:6: error: Not in scope: data constructor ‘Map.Map’ - Module ‘Data.Map’ does not export ‘Map’. + NB: the module ‘Data.Map’ does not export ‘Map’. diff --git a/testsuite/tests/rename/should_fail/T19843d.stderr b/testsuite/tests/rename/should_fail/T19843d.stderr index a27a627005..34a5de28f0 100644 --- a/testsuite/tests/rename/should_fail/T19843d.stderr +++ b/testsuite/tests/rename/should_fail/T19843d.stderr @@ -1,4 +1,4 @@ T19843d.hs:7:6: error: Not in scope: data constructor ‘Map’ - Perhaps you meant ‘Mup’ (line 5) + Suggested fix: Perhaps use ‘Mup’ (line 5) diff --git a/testsuite/tests/rename/should_fail/T19843e.stderr b/testsuite/tests/rename/should_fail/T19843e.stderr index 890c719bd8..f5870a356e 100644 --- a/testsuite/tests/rename/should_fail/T19843e.stderr +++ b/testsuite/tests/rename/should_fail/T19843e.stderr @@ -1,4 +1,4 @@ T19843e.hs:9:6: error: Not in scope: data constructor ‘Map’ - Perhaps you meant ‘Mup’ (line 7) + Suggested fix: Perhaps use ‘Mup’ (line 7) diff --git a/testsuite/tests/rename/should_fail/T19843f.stderr b/testsuite/tests/rename/should_fail/T19843f.stderr index 903fee7849..3b73444439 100644 --- a/testsuite/tests/rename/should_fail/T19843f.stderr +++ b/testsuite/tests/rename/should_fail/T19843f.stderr @@ -1,8 +1,8 @@ T19843f.hs:8:12: error: Not in scope: ‘mup’ - Perhaps you meant ‘mop’ (line 5) + Suggested fix: Perhaps use ‘mop’ (line 5) T19843f.hs:10:10: error: Not in scope: ‘mup’ - Perhaps you meant ‘mop’ (line 5) + Suggested fix: Perhaps use ‘mop’ (line 5) diff --git a/testsuite/tests/rename/should_fail/T19843g.stderr b/testsuite/tests/rename/should_fail/T19843g.stderr index 6d0d398bfd..f635b6c2d2 100644 --- a/testsuite/tests/rename/should_fail/T19843g.stderr +++ b/testsuite/tests/rename/should_fail/T19843g.stderr @@ -1,4 +1,4 @@ T19843g.hs:10:12: error: Not in scope: ‘mup’ - Perhaps you meant ‘mop’ (line 7) + Suggested fix: Perhaps use ‘mop’ (line 7) diff --git a/testsuite/tests/rename/should_fail/T19843h.stderr b/testsuite/tests/rename/should_fail/T19843h.stderr index 56bca0feeb..f7eeb9d5e9 100644 --- a/testsuite/tests/rename/should_fail/T19843h.stderr +++ b/testsuite/tests/rename/should_fail/T19843h.stderr @@ -1,34 +1,34 @@ -T19843h.hs:14:7: - No instance for (GHC.Records.HasField "mup" r4 a4) +T19843h.hs:14:7: error: + • No instance for (GHC.Records.HasField "mup" r4 a4) arising from selecting the field ‘mup’ - Perhaps you meant ‘mop’ (line 11) - In the expression: undefined.mup + Perhaps use ‘mop’ (line 11) + • In the expression: undefined.mup In an equation for ‘foo’: foo = undefined.mup -T19843h.hs:16:7: - No instance for (GHC.Records.HasField "traverse" r3 a3) +T19843h.hs:16:7: error: + • No instance for (GHC.Records.HasField "traverse" r3 a3) arising from selecting the field ‘traverse’ - In the expression: undefined.traverse + • In the expression: undefined.traverse In an equation for ‘bar’: bar = undefined.traverse -T19843h.hs:18:7: - No instance for (GHC.Records.HasField "getSum" r2 a2) +T19843h.hs:18:7: error: + • No instance for (GHC.Records.HasField "getSum" r2 a2) arising from selecting the field ‘getSum’ - In the expression: undefined.getSum + • In the expression: undefined.getSum In an equation for ‘baz’: baz = undefined.getSum -T19843h.hs:20:8: - No instance for (GHC.Records.HasField "getAlt" r1 a1) +T19843h.hs:20:8: error: + • No instance for (GHC.Records.HasField "getAlt" r1 a1) arising from selecting the field ‘getAlt’ - In the expression: undefined.getAlt + • In the expression: undefined.getAlt In an equation for ‘quux’: quux = undefined.getAlt -T19843h.hs:24:8: - No instance for (GHC.Records.HasField "getAll" r0 a0) +T19843h.hs:24:8: error: + • No instance for (GHC.Records.HasField "getAll" r0 a0) arising from selecting the field ‘getAll’ - Perhaps you meant ‘getAlt’ (imported from Data.Monoid) + Perhaps use ‘getAlt’ (imported from Data.Monoid) Perhaps you want to add ‘getAll’ to the import list in the import of ‘Data.Monoid’ (T19843h.hs:9:1-28). - In the expression: undefined.getAll + • In the expression: undefined.getAll In an equation for ‘quur’: quur = undefined.getAll diff --git a/testsuite/tests/rename/should_fail/T19843i.stderr b/testsuite/tests/rename/should_fail/T19843i.stderr index 60f671c679..f5de15281b 100644 --- a/testsuite/tests/rename/should_fail/T19843i.stderr +++ b/testsuite/tests/rename/should_fail/T19843i.stderr @@ -1,5 +1,6 @@ -T19843i.hs:5:5: +T19843i.hs:5:5: error: Not in scope: ‘M.getSum’ - Perhaps you want to add ‘getSum’ to the import list - in the import of ‘Data.Monoid’ (T19843i.hs:3:1-32). + Suggested fix: + Perhaps you want to add ‘getSum’ to the import list + in the import of ‘Data.Monoid’ (T19843i.hs:3:1-32). diff --git a/testsuite/tests/rename/should_fail/T19843j.stderr b/testsuite/tests/rename/should_fail/T19843j.stderr index e99a9f0a62..a0423eeb76 100644 --- a/testsuite/tests/rename/should_fail/T19843j.stderr +++ b/testsuite/tests/rename/should_fail/T19843j.stderr @@ -1,5 +1,6 @@ -T19843j.hs:5:5: - Variable not in scope: guard - Perhaps you want to add ‘guard’ to the import list - in the import of ‘Control.Monad’ (T19843j.hs:3:1-31). +T19843j.hs:5:5: error: + Variable not in scope: guard + Suggested fix: + Perhaps you want to add ‘guard’ to the import list in the import of + ‘Control.Monad’ (T19843j.hs:3:1-31). diff --git a/testsuite/tests/rename/should_fail/T19843k.stderr b/testsuite/tests/rename/should_fail/T19843k.stderr index 08ed7d8c08..7872fdb784 100644 --- a/testsuite/tests/rename/should_fail/T19843k.stderr +++ b/testsuite/tests/rename/should_fail/T19843k.stderr @@ -1,4 +1,4 @@ -T19843k.hs:5:8: +T19843k.hs:5:8: error: Not in scope: ‘M.doesn'tExist’ - Module ‘Data.Monoid’ does not export ‘doesn'tExist’. + NB: the module ‘Data.Monoid’ does not export ‘doesn'tExist’. diff --git a/testsuite/tests/rename/should_fail/T19843l.stderr b/testsuite/tests/rename/should_fail/T19843l.stderr index d5168b2b90..094a0b43a2 100644 --- a/testsuite/tests/rename/should_fail/T19843l.stderr +++ b/testsuite/tests/rename/should_fail/T19843l.stderr @@ -1,4 +1,4 @@ -T19843l.hs:7:12: +T19843l.hs:7:12: error: Not in scope: type constructor or class ‘WrongName’ - Perhaps you meant ‘FongName’ (line 4) + Suggested fix: Perhaps use ‘FongName’ (line 4) diff --git a/testsuite/tests/rename/should_fail/T19843m.stderr b/testsuite/tests/rename/should_fail/T19843m.stderr index dd7583842a..1ec2b31925 100644 --- a/testsuite/tests/rename/should_fail/T19843m.stderr +++ b/testsuite/tests/rename/should_fail/T19843m.stderr @@ -1,5 +1,6 @@ -T19843m.hs:9:12: +T19843m.hs:9:12: error: Not in scope: type constructor or class ‘WrongName’ - Perhaps you meant one of these: - ‘FongName’ (line 6), data constructor ‘LongName’ (line 5) + Suggested fix: + Perhaps use one of these: + ‘FongName’ (line 6), data constructor ‘LongName’ (line 5) diff --git a/testsuite/tests/rename/should_fail/T2901.stderr b/testsuite/tests/rename/should_fail/T2901.stderr index d5a5bbda9a..eab94f2acf 100644 --- a/testsuite/tests/rename/should_fail/T2901.stderr +++ b/testsuite/tests/rename/should_fail/T2901.stderr @@ -1,4 +1,4 @@ T2901.hs:6:5: error: Not in scope: data constructor ‘F.Foo’ - No module named ‘F’ is imported. + NB: no module named ‘F’ is imported. diff --git a/testsuite/tests/rename/should_fail/T2993.stderr b/testsuite/tests/rename/should_fail/T2993.stderr index 4542ffeaf0..67dadf14bc 100644 --- a/testsuite/tests/rename/should_fail/T2993.stderr +++ b/testsuite/tests/rename/should_fail/T2993.stderr @@ -1,4 +1,4 @@ T2993.hs:7:13: error: - • Variable not in scope: (<**>) :: t -> (a -> a) -> t1 - • Perhaps you meant ‘<*>’ (imported from Prelude) + Variable not in scope: (<**>) :: t -> (a -> a) -> t1 + Suggested fix: Perhaps use ‘<*>’ (imported from Prelude) diff --git a/testsuite/tests/rename/should_fail/T495.stderr b/testsuite/tests/rename/should_fail/T495.stderr index 0581807d70..cc637c4681 100644 --- a/testsuite/tests/rename/should_fail/T495.stderr +++ b/testsuite/tests/rename/should_fail/T495.stderr @@ -4,4 +4,5 @@ T495.hs:4:12: error: T495.hs:7:12: error: The INLINE pragma for ‘lookup’ lacks an accompanying binding - (The INLINE pragma must be given where ‘lookup’ is declared) + Suggested fix: + Move the INLINE pragma to the declaration site of ‘lookup’. diff --git a/testsuite/tests/rename/should_fail/T5001b.stderr b/testsuite/tests/rename/should_fail/T5001b.stderr index e5f7aa1d14..2544aa4dc2 100644 --- a/testsuite/tests/rename/should_fail/T5001b.stderr +++ b/testsuite/tests/rename/should_fail/T5001b.stderr @@ -1,4 +1,5 @@ T5001b.hs:10:17: error: The INLINE pragma for ‘genum’ lacks an accompanying binding - (The INLINE pragma must be given where ‘genum’ is declared) + Suggested fix: + Move the INLINE pragma to the declaration site of ‘genum’. diff --git a/testsuite/tests/rename/should_fail/T5372.stderr b/testsuite/tests/rename/should_fail/T5372.stderr index d8b8e8fa56..3642362660 100644 --- a/testsuite/tests/rename/should_fail/T5372.stderr +++ b/testsuite/tests/rename/should_fail/T5372.stderr @@ -1,4 +1,4 @@ T5372.hs:4:11: error: Not in scope: data constructor ‘MkS’ - Perhaps you meant ‘T5372a.MkS’ (imported from T5372a) + Suggested fix: Perhaps use ‘T5372a.MkS’ (imported from T5372a) diff --git a/testsuite/tests/rename/should_fail/T5533.stderr b/testsuite/tests/rename/should_fail/T5533.stderr index bd5516cceb..67dbf3a93e 100644 --- a/testsuite/tests/rename/should_fail/T5533.stderr +++ b/testsuite/tests/rename/should_fail/T5533.stderr @@ -1,4 +1,5 @@ T5533.hs:4:1: error: The type signature for ‘f2’ lacks an accompanying binding - (The type signature must be given where ‘f2’ is declared) + Suggested fix: + Move the type signature to the declaration site of ‘f2’. diff --git a/testsuite/tests/rename/should_fail/T5657.stderr b/testsuite/tests/rename/should_fail/T5657.stderr index 5663b900d9..28c3ba7d6c 100644 --- a/testsuite/tests/rename/should_fail/T5657.stderr +++ b/testsuite/tests/rename/should_fail/T5657.stderr @@ -1,7 +1,7 @@ T5657.hs:3:8: error: Not in scope: ‘LT..’ - No module named ‘LT’ is imported. + NB: no module named ‘LT’ is imported. T5657.hs:3:8: error: A section must be enclosed in parentheses thus: (LT.. GT) diff --git a/testsuite/tests/rename/should_fail/T7906.stderr b/testsuite/tests/rename/should_fail/T7906.stderr index ddcd4ff484..5a8c7cb77d 100644 --- a/testsuite/tests/rename/should_fail/T7906.stderr +++ b/testsuite/tests/rename/should_fail/T7906.stderr @@ -1,4 +1,5 @@ T7906.hs:5:15: error: The INLINABLE pragma for ‘foo’ lacks an accompanying binding - (The INLINABLE pragma must be given where ‘foo’ is declared) + Suggested fix: + Move the INLINABLE pragma to the declaration site of ‘foo’. diff --git a/testsuite/tests/rename/should_fail/T7937.stderr b/testsuite/tests/rename/should_fail/T7937.stderr index 7a65b0c06e..11a2bed876 100644 --- a/testsuite/tests/rename/should_fail/T7937.stderr +++ b/testsuite/tests/rename/should_fail/T7937.stderr @@ -1,4 +1,4 @@ T7937.hs:8:13: error: - • Variable not in scope: (***) :: Bool -> Bool -> t - • Perhaps you meant ‘**’ (imported from Prelude) + Variable not in scope: (***) :: Bool -> Bool -> t + Suggested fix: Perhaps use ‘**’ (imported from Prelude) diff --git a/testsuite/tests/rename/should_fail/T9177.stderr b/testsuite/tests/rename/should_fail/T9177.stderr index a1153b4fcb..215a144f06 100644 --- a/testsuite/tests/rename/should_fail/T9177.stderr +++ b/testsuite/tests/rename/should_fail/T9177.stderr @@ -1,11 +1,12 @@ T9177.hs:4:13: error: Not in scope: type variable ‘int’ - Perhaps you meant type constructor or class ‘Int’ (imported from Prelude) + Suggested fix: + Perhaps use type constructor or class ‘Int’ (imported from Prelude) T9177.hs:7:14: error: Not in scope: type variable ‘integerr’ - Perhaps you meant type constructor or class ‘Integer’ (imported from Prelude) + Suggested fix: + Perhaps use type constructor or class ‘Integer’ (imported from Prelude) -T9177.hs:17:6: error: - Not in scope: data constructor ‘Fun’ +T9177.hs:17:6: error: Not in scope: data constructor ‘Fun’ diff --git a/testsuite/tests/rename/should_fail/T9436.stderr b/testsuite/tests/rename/should_fail/T9436.stderr index 2b9b10fb14..30a7c5f6b4 100644 --- a/testsuite/tests/rename/should_fail/T9436.stderr +++ b/testsuite/tests/rename/should_fail/T9436.stderr @@ -1,4 +1,4 @@ -T9436.hs:8:4: +T9436.hs:8:4: error: Not in scope: data constructor ‘T'’ - Perhaps you meant ‘T’ (line 5) + Suggested fix: Perhaps use ‘T’ (line 5) diff --git a/testsuite/tests/rename/should_fail/rnfail022.stderr b/testsuite/tests/rename/should_fail/rnfail022.stderr index c27e6130f9..87a1adef3f 100644 --- a/testsuite/tests/rename/should_fail/rnfail022.stderr +++ b/testsuite/tests/rename/should_fail/rnfail022.stderr @@ -1,4 +1,5 @@ rnfail022.hs:8:5: error: - • Variable not in scope: intersperse - • Perhaps you meant ‘L.intersperse’ (imported from Data.List) + Variable not in scope: intersperse + Suggested fix: + Perhaps use ‘L.intersperse’ (imported from Data.List) diff --git a/testsuite/tests/rename/should_fail/rnfail030.stderr b/testsuite/tests/rename/should_fail/rnfail030.stderr index 462dc5fa2c..6343062325 100644 --- a/testsuite/tests/rename/should_fail/rnfail030.stderr +++ b/testsuite/tests/rename/should_fail/rnfail030.stderr @@ -1,5 +1,6 @@ rnfail030.hs:2:21: error: Not in scope: ‘Data.List.map’ - Perhaps you want to add ‘map’ to the import list in the import of - ‘Data.List’ (rnfail030.hs:3:1-19). + Suggested fix: + Perhaps you want to add ‘map’ to the import list in the import of + ‘Data.List’ (rnfail030.hs:3:1-19). diff --git a/testsuite/tests/rename/should_fail/rnfail031.stderr b/testsuite/tests/rename/should_fail/rnfail031.stderr index 95d8ea1561..1036d52bcb 100644 --- a/testsuite/tests/rename/should_fail/rnfail031.stderr +++ b/testsuite/tests/rename/should_fail/rnfail031.stderr @@ -1,5 +1,6 @@ rnfail031.hs:2:21: error: Not in scope: ‘Data.List.map’ - Perhaps you want to add ‘map’ to the import list in the import of - ‘Data.List’ (rnfail031.hs:3:1-36). + Suggested fix: + Perhaps you want to add ‘map’ to the import list in the import of + ‘Data.List’ (rnfail031.hs:3:1-36). diff --git a/testsuite/tests/rename/should_fail/rnfail032.stderr b/testsuite/tests/rename/should_fail/rnfail032.stderr index 874b1746e6..febd380442 100644 --- a/testsuite/tests/rename/should_fail/rnfail032.stderr +++ b/testsuite/tests/rename/should_fail/rnfail032.stderr @@ -1,9 +1,10 @@ rnfail032.hs:2:21: error: Not in scope: ‘Data.List.map’ - Perhaps you meant one of these: - ‘Data.List.zip’ (imported from Data.List), - ‘Data.List.or’ (imported from Data.List), - ‘Data.List.all’ (imported from Data.List) - Perhaps you want to remove ‘map’ from the explicit hiding list - in the import of ‘Data.List’ (rnfail032.hs:3:1-41). + Suggested fixes: + • Perhaps use one of these: + ‘Data.List.zip’ (imported from Data.List), + ‘Data.List.or’ (imported from Data.List), + ‘Data.List.all’ (imported from Data.List) + • Perhaps you want to remove ‘map’ from the explicit hiding list + in the import of ‘Data.List’ (rnfail032.hs:3:1-41). diff --git a/testsuite/tests/rename/should_fail/rnfail033.stderr b/testsuite/tests/rename/should_fail/rnfail033.stderr index a445fd7293..d9fbc22a1c 100644 --- a/testsuite/tests/rename/should_fail/rnfail033.stderr +++ b/testsuite/tests/rename/should_fail/rnfail033.stderr @@ -1,9 +1,10 @@ rnfail033.hs:2:21: error: Not in scope: ‘Data.List.map’ - Perhaps you meant one of these: - ‘Data.List.zip’ (imported from Data.List), - ‘Data.List.or’ (imported from Data.List), - ‘Data.List.all’ (imported from Data.List) - Perhaps you want to remove ‘map’ from the explicit hiding list - in the import of ‘Data.List’ (rnfail033.hs:3:1-31). + Suggested fixes: + • Perhaps use one of these: + ‘Data.List.zip’ (imported from Data.List), + ‘Data.List.or’ (imported from Data.List), + ‘Data.List.all’ (imported from Data.List) + • Perhaps you want to remove ‘map’ from the explicit hiding list + in the import of ‘Data.List’ (rnfail033.hs:3:1-31). diff --git a/testsuite/tests/rename/should_fail/rnfail034.stderr b/testsuite/tests/rename/should_fail/rnfail034.stderr index a5219c138b..be73da47a4 100644 --- a/testsuite/tests/rename/should_fail/rnfail034.stderr +++ b/testsuite/tests/rename/should_fail/rnfail034.stderr @@ -3,4 +3,4 @@ rnfail034.hs:4:11: error: Qualified name in binding position: M.y rnfail034.hs:4:26: error: Not in scope: ‘M.y’ - Perhaps you meant ‘M.g’ (line 4) + Suggested fix: Perhaps use ‘M.g’ (line 4) diff --git a/testsuite/tests/safeHaskell/ghci/p16.stderr b/testsuite/tests/safeHaskell/ghci/p16.stderr index 69a10da8db..357bc5bc9f 100644 --- a/testsuite/tests/safeHaskell/ghci/p16.stderr +++ b/testsuite/tests/safeHaskell/ghci/p16.stderr @@ -11,7 +11,7 @@ for GHC's newtype-deriving extension <interactive>:19:9: error: - • Data constructor not in scope: T2 :: T -> t - • Perhaps you meant ‘T1’ (line 13) + Data constructor not in scope: T2 :: T -> t + Suggested fix: Perhaps use ‘T1’ (line 13) <interactive>:22:4: error: Variable not in scope: y diff --git a/testsuite/tests/safeHaskell/ghci/p4.stderr b/testsuite/tests/safeHaskell/ghci/p4.stderr index 621960f9e2..47ea0ca18e 100644 --- a/testsuite/tests/safeHaskell/ghci/p4.stderr +++ b/testsuite/tests/safeHaskell/ghci/p4.stderr @@ -1,7 +1,7 @@ <interactive>:6:9: error: Not in scope: ‘System.IO.Unsafe.unsafePerformIO’ - No module named ‘System.IO.Unsafe’ is imported. + NB: no module named ‘System.IO.Unsafe’ is imported. <interactive>:7:9: error: Variable not in scope: x :: IO b0 -> t diff --git a/testsuite/tests/safeHaskell/ghci/p6.stderr b/testsuite/tests/safeHaskell/ghci/p6.stderr index d8dc09a996..cba63662ce 100644 --- a/testsuite/tests/safeHaskell/ghci/p6.stderr +++ b/testsuite/tests/safeHaskell/ghci/p6.stderr @@ -6,5 +6,5 @@ foreign import ccall safe "sin" c_sin :: Double -> Double <interactive>:13:1: error: - • Variable not in scope: c_sin :: t0 -> t - • Perhaps you meant ‘c_sin'’ (line 8) + Variable not in scope: c_sin :: t0 -> t + Suggested fix: Perhaps use ‘c_sin'’ (line 8) diff --git a/testsuite/tests/th/T11680.stderr b/testsuite/tests/th/T11680.stderr index 07d88403f1..05e976837a 100644 --- a/testsuite/tests/th/T11680.stderr +++ b/testsuite/tests/th/T11680.stderr @@ -2,27 +2,29 @@ T11680.hs:15:7: error: Variable not in scope: noMatches :: Bool T11680.hs:20:7: error: - • Variable not in scope: abce :: [a] - • Perhaps you meant ‘abcd’ (line 23) + Variable not in scope: abce :: [a] + Suggested fix: Perhaps use ‘abcd’ (line 23) T11680.hs:31:7: error: Variable not in scope: foo :: Int T11680.hs:39:7: error: - • Variable not in scope: bar :: () - • Perhaps you meant one of these: ‘bat’ (line 42), ‘baz’ (line 45) + Variable not in scope: bar :: () + Suggested fix: + Perhaps use one of these: ‘bat’ (line 42), ‘baz’ (line 45) T11680.hs:50:7: error: Variable not in scope: ns :: [Double] T11680.hs:55:7: error: - • Variable not in scope: intercalate - • Perhaps you meant ‘List.intercalate’ (imported from Data.List) + Variable not in scope: intercalate + Suggested fix: + Perhaps use ‘List.intercalate’ (imported from Data.List) T11680.hs:59:7: error: - • Variable not in scope: nub - • Perhaps you meant ‘List.nub’ (imported from Data.List) + Variable not in scope: nub + Suggested fix: Perhaps use ‘List.nub’ (imported from Data.List) T11680.hs:64:7: error: Variable not in scope: x :: t0 -> Int T11680.hs:69:7: error: - • Variable not in scope: cat :: () - • Perhaps you meant ‘bat’ (line 42) + Variable not in scope: cat :: () + Suggested fix: Perhaps use ‘bat’ (line 42) diff --git a/testsuite/tests/th/T11941.stderr b/testsuite/tests/th/T11941.stderr index 4508ed3557..ca21f919fe 100644 --- a/testsuite/tests/th/T11941.stderr +++ b/testsuite/tests/th/T11941.stderr @@ -1,6 +1,7 @@ T11941.hs:7:30: error: Not in scope: ‘getFrst’ - Perhaps you meant one of these: - ‘getFirst’ (imported from Data.Monoid), - ‘getLast’ (imported from Data.Monoid) + Suggested fix: + Perhaps use one of these: + ‘getFirst’ (imported from Data.Monoid), + ‘getLast’ (imported from Data.Monoid) diff --git a/testsuite/tests/th/T13837.stderr b/testsuite/tests/th/T13837.stderr index 7bb6587ded..a5f1005ca8 100644 --- a/testsuite/tests/th/T13837.stderr +++ b/testsuite/tests/th/T13837.stderr @@ -1,10 +1,11 @@ T13837.hs:9:4: error: - • The exact Name ‘Fam’ is not in scope - Probable cause: you used a unique Template Haskell name (NameU), - perhaps via newName, but did not bind it - If that's it, then -ddump-splices might be useful + • The Name ‘Fam’ is not in scope. • In the argument of reifyInstances: Fam_0 In the untyped splice: $(do fam_name <- newName "Fam" stringE . show =<< qReifyInstances fam_name []) + Suggested fix: + If you bound a unique Template Haskell name (NameU) + perhaps via newName, + then -ddump-splices might be useful. diff --git a/testsuite/tests/th/T18102.stderr b/testsuite/tests/th/T18102.stderr index 9c1f1e2484..d757c9735f 100644 --- a/testsuite/tests/th/T18102.stderr +++ b/testsuite/tests/th/T18102.stderr @@ -8,18 +8,20 @@ T18102.hs:11:22: error: T18102.hs:11:35: error: • Not in scope: ‘fromInteger’ - Perhaps you want to add ‘fromInteger’ to the import list - in the import of ‘Prelude’ (T18102.hs:5:1-50). • In the Template Haskell quotation [|| if True then 10 else 15 ||] In the typed splice: $$(do _stuff <- [|| if True then 10 else 15 ||] return []) + Suggested fix: + Perhaps you want to add ‘fromInteger’ to the import list + in the import of ‘Prelude’ (T18102.hs:5:1-50). T18102.hs:11:43: error: • Not in scope: ‘fromInteger’ - Perhaps you want to add ‘fromInteger’ to the import list - in the import of ‘Prelude’ (T18102.hs:5:1-50). • In the Template Haskell quotation [|| if True then 10 else 15 ||] In the typed splice: $$(do _stuff <- [|| if True then 10 else 15 ||] return []) + Suggested fix: + Perhaps you want to add ‘fromInteger’ to the import list + in the import of ‘Prelude’ (T18102.hs:5:1-50). diff --git a/testsuite/tests/th/T2713.stderr b/testsuite/tests/th/T2713.stderr index 89a15ca83a..ce9091c79c 100644 --- a/testsuite/tests/th/T2713.stderr +++ b/testsuite/tests/th/T2713.stderr @@ -1,8 +1,10 @@ -T2713.hs:11:10: +T2713.hs:11:10: error: The fixity signature for ‘.*.’ lacks an accompanying binding - (The fixity signature must be given where ‘.*.’ is declared) + Suggested fix: + Move the fixity signature to the declaration site of ‘.*.’. -T2713.hs:12:1: +T2713.hs:12:1: error: The type signature for ‘f’ lacks an accompanying binding - (The type signature must be given where ‘f’ is declared) + Suggested fix: + Move the type signature to the declaration site of ‘f’. diff --git a/testsuite/tests/th/T5971.stderr b/testsuite/tests/th/T5971.stderr index c8164cd1df..c06561b853 100644 --- a/testsuite/tests/th/T5971.stderr +++ b/testsuite/tests/th/T5971.stderr @@ -1,7 +1,8 @@ T5971.hs:6:6: error: - • The exact Name ‘x’ is not in scope - Probable cause: you used a unique Template Haskell name (NameU), - perhaps via newName, but did not bind it - If that's it, then -ddump-splices might be useful + • The Name ‘x’ is not in scope. • In the untyped splice: $(newName "x" >>= varE) + Suggested fix: + If you bound a unique Template Haskell name (NameU) + perhaps via newName, + then -ddump-splices might be useful. diff --git a/testsuite/tests/th/T7241.stderr b/testsuite/tests/th/T7241.stderr index 1681b45f51..a46daa2c25 100644 --- a/testsuite/tests/th/T7241.stderr +++ b/testsuite/tests/th/T7241.stderr @@ -1,8 +1,9 @@ T7241.hs:7:2: error: - Same exact name in multiple name-spaces: + Same Name in multiple name-spaces: type constructor or class ‘Foo’, declared at: T7241.hs:7:2 data constructor ‘Foo’, declared at: T7241.hs:7:2 - Probable cause: you bound a unique Template Haskell name (NameU), - perhaps via newName, in different name-spaces. - If that's it, then -ddump-splices might be useful + Suggested fix: + If you bound a unique Template Haskell name (NameU) + perhaps via newName, + then -ddump-splices might be useful. diff --git a/testsuite/tests/typecheck/should_compile/T13651.stderr b/testsuite/tests/typecheck/should_compile/T13651.stderr index 99d57d1c96..72ed83da20 100644 --- a/testsuite/tests/typecheck/should_compile/T13651.stderr +++ b/testsuite/tests/typecheck/should_compile/T13651.stderr @@ -1,6 +1,6 @@ T13651.hs:12:8: error: - • Could not deduce: F cr (Bar h (Foo u)) ~ Bar h (Bar r u) + • Could not deduce (F cr (Bar h (Foo u)) ~ Bar h (Bar r u)) from the context: (F cr cu ~ Bar h (Bar r u), F cu cs ~ Bar (Foo h) (Bar u s)) bound by the type signature for: diff --git a/testsuite/tests/typecheck/should_compile/T9939.stderr b/testsuite/tests/typecheck/should_compile/T9939.stderr index 3067cddbf6..4d1af91a6c 100644 --- a/testsuite/tests/typecheck/should_compile/T9939.stderr +++ b/testsuite/tests/typecheck/should_compile/T9939.stderr @@ -1,20 +1,20 @@ T9939.hs:6:7: warning: [-Wredundant-constraints] - • Redundant constraint: Eq a - • In the type signature for: - f1 :: forall a. (Eq a, Ord a) => a -> a -> Bool + Redundant constraint: Eq a + In the type signature for: + f1 :: forall a. (Eq a, Ord a) => a -> a -> Bool T9939.hs:10:7: warning: [-Wredundant-constraints] - • Redundant constraint: Ord a - • In the type signature for: - f2 :: forall a. (Eq a, Ord a) => a -> a -> Bool + Redundant constraint: Ord a + In the type signature for: + f2 :: forall a. (Eq a, Ord a) => a -> a -> Bool T9939.hs:14:7: warning: [-Wredundant-constraints] - • Redundant constraint: Eq b - • In the type signature for: - f3 :: forall a b. (Eq a, a ~ b, Eq b) => a -> b -> Bool + Redundant constraint: Eq b + In the type signature for: + f3 :: forall a b. (Eq a, a ~ b, Eq b) => a -> b -> Bool T9939.hs:21:7: warning: [-Wredundant-constraints] - • Redundant constraint: Eq b - • In the type signature for: - f4 :: forall a b. (Eq a, Eq b) => a -> b -> Equal a b -> Bool + Redundant constraint: Eq b + In the type signature for: + f4 :: forall a b. (Eq a, Eq b) => a -> b -> Equal a b -> Bool diff --git a/testsuite/tests/typecheck/should_compile/tc214.stderr b/testsuite/tests/typecheck/should_compile/tc214.stderr index ea5cc8d93c..de6b340e4b 100644 --- a/testsuite/tests/typecheck/should_compile/tc214.stderr +++ b/testsuite/tests/typecheck/should_compile/tc214.stderr @@ -4,15 +4,15 @@ tc214.hs:19:1: warning: [-Woverlapping-patterns (in -Wdefault)] In an equation for ‘bar2’: bar2 (F2 _) = ... tc214.hs:19:7: warning: [-Winaccessible-code (in -Wdefault)] - • Couldn't match type ‘a’ with ‘forall a1. a1’ + • Inaccessible code in + a pattern with constructor: F2 :: forall a. a -> Foo2 [a], + in an equation for ‘bar2’ + Couldn't match type ‘a’ with ‘forall a1. a1’ Cannot equate type variable ‘a’ with a type involving polytypes: forall a1. a1 ‘a’ is a rigid type variable bound by a pattern with constructor: F2 :: forall a. a -> Foo2 [a], in an equation for ‘bar2’ at tc214.hs:19:7-10 - Inaccessible code in - a pattern with constructor: F2 :: forall a. a -> Foo2 [a], - in an equation for ‘bar2’ • In the pattern: F2 _ In an equation for ‘bar2’: bar2 (F2 _) = () diff --git a/testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr b/testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr index bc12dfa2ba..1c105ae30c 100644 --- a/testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr +++ b/testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr @@ -2,12 +2,14 @@ [2 of 2] Compiling Foo ( valid_hole_fits.hs, valid_hole_fits.o ) valid_hole_fits.hs:9:6: warning: [-Wdeferred-out-of-scope-variables (in -Wdefault)] - • Variable not in scope: putStrLn :: String -> IO () - • Perhaps you meant one of these: - ‘System.IO.putStrLn’ (imported from System.IO), - ‘System.IO.putStr’ (imported from System.IO) - Perhaps you want to remove ‘putStrLn’ from the explicit hiding list - in the import of ‘Prelude’ (valid_hole_fits.hs:3:1-40). + Variable not in scope: putStrLn :: String -> IO () + Suggested fixes: + • Perhaps use one of these: + ‘System.IO.putStrLn’ (imported from System.IO), + ‘System.IO.putStr’ (imported from System.IO) + • Perhaps you want to remove ‘putStrLn’ + from the explicit hiding list in the import of ‘Prelude’ + (valid_hole_fits.hs:3:1-40). valid_hole_fits.hs:17:17: warning: [-Wtyped-holes (in -Wdefault)] • Found hole: _ :: Int -> IO Int diff --git a/testsuite/tests/typecheck/should_fail/GivenForallLoop.stderr b/testsuite/tests/typecheck/should_fail/GivenForallLoop.stderr index e4260e62ed..4d759155cc 100644 --- a/testsuite/tests/typecheck/should_fail/GivenForallLoop.stderr +++ b/testsuite/tests/typecheck/should_fail/GivenForallLoop.stderr @@ -1,6 +1,6 @@ GivenForallLoop.hs:8:11: error: - • Could not deduce: a ~ b + • Could not deduce (a ~ b) from the context: a ~ (forall b1. F a b1) bound by the type signature for: loopy :: forall a b. (a ~ (forall b1. F a b1)) => a -> b diff --git a/testsuite/tests/typecheck/should_fail/T10285.stderr b/testsuite/tests/typecheck/should_fail/T10285.stderr index 02215e2f70..c259a8e3e2 100644 --- a/testsuite/tests/typecheck/should_fail/T10285.stderr +++ b/testsuite/tests/typecheck/should_fail/T10285.stderr @@ -1,6 +1,6 @@ T10285.hs:8:17: error: - • Could not deduce: Coercible a b arising from a use of ‘coerce’ + • Could not deduce (Coercible a b) arising from a use of ‘coerce’ from the context: Coercible (N a) (N b) bound by a pattern with constructor: Coercion :: forall {k} (a :: k) (b :: k). diff --git a/testsuite/tests/typecheck/should_fail/T10534.stderr b/testsuite/tests/typecheck/should_fail/T10534.stderr index 86020af877..a8888ba5be 100644 --- a/testsuite/tests/typecheck/should_fail/T10534.stderr +++ b/testsuite/tests/typecheck/should_fail/T10534.stderr @@ -1,6 +1,6 @@ T10534a.hs:10:9: error: - • Could not deduce: Coercible a b arising from a use of ‘coerce’ + • Could not deduce (Coercible a b) arising from a use of ‘coerce’ from the context: Coercible (DF a) (DF b) bound by the type signature for: silly :: forall a b. Coercible (DF a) (DF b) => a -> b diff --git a/testsuite/tests/typecheck/should_fail/T12178a.stderr b/testsuite/tests/typecheck/should_fail/T12178a.stderr index ef9f66a526..46fb5a6614 100644 --- a/testsuite/tests/typecheck/should_fail/T12178a.stderr +++ b/testsuite/tests/typecheck/should_fail/T12178a.stderr @@ -1,4 +1,5 @@ T12178a.hs:7:12: error: The INLINE pragma for ‘C’ lacks an accompanying binding - (The INLINE pragma must be given where ‘C’ is declared) + Suggested fix: + Move the INLINE pragma to the declaration site of ‘C’. diff --git a/testsuite/tests/typecheck/should_fail/T12785b.stderr b/testsuite/tests/typecheck/should_fail/T12785b.stderr index 14ce110c0d..cd2c75b2c1 100644 --- a/testsuite/tests/typecheck/should_fail/T12785b.stderr +++ b/testsuite/tests/typecheck/should_fail/T12785b.stderr @@ -1,6 +1,6 @@ T12785b.hs:30:65: error: - • Could not deduce: Payload ('S n) (Payload n s1) ~ s + • Could not deduce (Payload ('S n) (Payload n s1) ~ s) arising from a use of ‘SBranchX’ from the context: m ~ 'S n bound by a pattern with constructor: diff --git a/testsuite/tests/typecheck/should_fail/T13640.stderr b/testsuite/tests/typecheck/should_fail/T13640.stderr index d926dd9241..28afc7d55e 100644 --- a/testsuite/tests/typecheck/should_fail/T13640.stderr +++ b/testsuite/tests/typecheck/should_fail/T13640.stderr @@ -1,8 +1,9 @@ T13640.hs:13:22: error: - • Variable not in scope: - (.) - :: (f0 a c0 -> f0 b c0) - -> ((a0 -> b0) -> f1 a0 -> f1 b0) -> f a c -> f b d - • Perhaps you want to remove ‘.’ from the explicit hiding list + Variable not in scope: + (.) + :: (f0 a c0 -> f0 b c0) + -> ((a0 -> b0) -> f1 a0 -> f1 b0) -> f a c -> f b d + Suggested fix: + Perhaps you want to remove ‘.’ from the explicit hiding list in the import of ‘Prelude’ (T13640.hs:4:1-27). diff --git a/testsuite/tests/typecheck/should_fail/T15361.stderr b/testsuite/tests/typecheck/should_fail/T15361.stderr index 1520bc3982..b4692064f3 100644 --- a/testsuite/tests/typecheck/should_fail/T15361.stderr +++ b/testsuite/tests/typecheck/should_fail/T15361.stderr @@ -1,6 +1,6 @@ T15361.hs:13:13: error: - • Could not deduce: a ~ c + • Could not deduce (a ~ c) from the context: b ~ a bound by a pattern with constructor: HRefl :: forall {k1} (a :: k1). a :~~: a, diff --git a/testsuite/tests/typecheck/should_fail/T19978.stderr b/testsuite/tests/typecheck/should_fail/T19978.stderr index 4ea25fcf04..68796e058a 100644 --- a/testsuite/tests/typecheck/should_fail/T19978.stderr +++ b/testsuite/tests/typecheck/should_fail/T19978.stderr @@ -3,19 +3,19 @@ T19978.hs:8:7: error: • Illegal term-level use of the type constructor or class ‘Bool’ • imported from ‘Prelude’ at T19978.hs:3:8-13 (and originally defined in ‘GHC.Types’) - • Perhaps you meant one of these: + • Perhaps use one of these: ‘Bowl’ (line 11), variable ‘bool’ (line 12) • In the expression: Bool In an equation for ‘ex1’: ex1 = Bool T19978.hs:14:7: error: - • Data constructor not in scope: Let - • Perhaps you meant ‘Left’ (imported from Prelude) + Data constructor not in scope: Let + Suggested fix: Perhaps use ‘Left’ (imported from Prelude) T19978.hs:21:7: error: • Illegal term-level use of the type variable ‘mytv’ • bound at T19978.hs:20:15 - • Perhaps you meant one of these: + • Perhaps use one of these: data constructor ‘Mytv’ (line 24), ‘myvv’ (line 25) • In the expression: mytv In an equation for ‘ex3’: ex3 = mytv diff --git a/testsuite/tests/typecheck/should_fail/T5853.stderr b/testsuite/tests/typecheck/should_fail/T5853.stderr index b25e1fca91..1cb76d317f 100644 --- a/testsuite/tests/typecheck/should_fail/T5853.stderr +++ b/testsuite/tests/typecheck/should_fail/T5853.stderr @@ -1,6 +1,6 @@ T5853.hs:15:52: error: - • Could not deduce: Subst fa1 (Elem fb) ~ fb + • Could not deduce (Subst fa1 (Elem fb) ~ fb) arising from a use of ‘<$>’ from the context: (F fa, Elem fb ~ Elem fb, Subst fa (Elem fb) ~ fb, Subst fb (Elem fa) ~ fa, F fa1, diff --git a/testsuite/tests/typecheck/should_fail/T7525.stderr b/testsuite/tests/typecheck/should_fail/T7525.stderr index 11028ef3bd..86fc55e198 100644 --- a/testsuite/tests/typecheck/should_fail/T7525.stderr +++ b/testsuite/tests/typecheck/should_fail/T7525.stderr @@ -1,6 +1,6 @@ T7525.hs:5:30: error: - • Could not deduce: ?b::Bool + • Could not deduce (?b::Bool) arising from a use of implicit parameter ‘?b’ from the context: ?a::Bool bound by the implicit-parameter binding for ?a at T7525.hs:5:7-31 diff --git a/testsuite/tests/typecheck/should_fail/T9109.stderr b/testsuite/tests/typecheck/should_fail/T9109.stderr index 6a4d4988de..223be12e8b 100644 --- a/testsuite/tests/typecheck/should_fail/T9109.stderr +++ b/testsuite/tests/typecheck/should_fail/T9109.stderr @@ -1,6 +1,6 @@ T9109.hs:8:13: error: - • Could not deduce: p ~ Bool + • Could not deduce (p ~ Bool) from the context: a ~ Bool bound by a pattern with constructor: GBool :: G Bool, in an equation for ‘foo’ @@ -8,7 +8,7 @@ T9109.hs:8:13: error: ‘p’ is a rigid type variable bound by the inferred type of foo :: G a -> p at T9109.hs:8:1-16 - Possible fix: add a type signature for ‘foo’ • In the expression: True In an equation for ‘foo’: foo GBool = True • Relevant bindings include foo :: G a -> p (bound at T9109.hs:8:1) + Suggested fix: Consider giving ‘foo’ a type signature diff --git a/testsuite/tests/typecheck/should_fail/tcfail046.stderr b/testsuite/tests/typecheck/should_fail/tcfail046.stderr index 967b5a0fe6..6ee553f689 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail046.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail046.stderr @@ -11,10 +11,10 @@ tcfail046.hs:10:50: error: tcfail046.hs:22:25: error: • Could not deduce (Eq (Process a)) arising from the first field of ‘Create’ (type ‘Process a’) - (maybe you haven't applied a function to enough arguments?) from the context: Eq a bound by the deriving clause for ‘Eq (Message a)’ at tcfail046.hs:22:25-26 + (maybe you haven't applied a function to enough arguments?) Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself diff --git a/testsuite/tests/typecheck/should_fail/tcfail062.stderr b/testsuite/tests/typecheck/should_fail/tcfail062.stderr index ff4915dfd2..197bdb30f0 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail062.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail062.stderr @@ -1,8 +1,10 @@ -tcfail062.hs:34:6: +tcfail062.hs:34:6: error: Not in scope: type variable ‘behaviouralExpression’ - Perhaps you meant type constructor or class ‘BehaviouralExpression’ (line 25) + Suggested fix: + Perhaps use type constructor or class ‘BehaviouralExpression’ (line 25) -tcfail062.hs:34:29: +tcfail062.hs:34:29: error: Not in scope: type variable ‘behaviouralExpression’ - Perhaps you meant type constructor or class ‘BehaviouralExpression’ (line 25) + Suggested fix: + Perhaps use type constructor or class ‘BehaviouralExpression’ (line 25) diff --git a/testsuite/tests/typecheck/should_fail/tcfail167.stderr b/testsuite/tests/typecheck/should_fail/tcfail167.stderr index 8ca5dc9b80..6346257e09 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail167.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail167.stderr @@ -4,9 +4,9 @@ tcfail167.hs:14:1: error: [-Woverlapping-patterns (in -Wdefault), -Werror=overla In an equation for ‘inaccessible’: inaccessible C2 = ... tcfail167.hs:14:14: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessible-code] - • Couldn't match type ‘Char’ with ‘Float’ - Inaccessible code in + • Inaccessible code in a pattern with constructor: C2 :: T Float, in an equation for ‘inaccessible’ + Couldn't match type ‘Char’ with ‘Float’ • In the pattern: C2 In an equation for ‘inaccessible’: inaccessible C2 = ' ' diff --git a/testsuite/tests/typecheck/should_run/Typeable1.stderr b/testsuite/tests/typecheck/should_run/Typeable1.stderr index 3ded9c03ed..d2488bb575 100644 --- a/testsuite/tests/typecheck/should_run/Typeable1.stderr +++ b/testsuite/tests/typecheck/should_run/Typeable1.stderr @@ -1,8 +1,6 @@ Typeable1.hs:22:5: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessible-code] - • Couldn't match type: ComposeK - with: a3 b3 - Inaccessible code in + • Inaccessible code in a pattern with pattern synonym: App :: forall k2 (t :: k2). () => @@ -11,6 +9,8 @@ Typeable1.hs:22:5: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessi TypeRep a -> TypeRep b -> TypeRep t, in a pattern binding in a 'do' block + Couldn't match type: ComposeK + with: a3 b3 • In the pattern: App x y In a stmt of a 'do' block: App x y <- pure x In the expression: |