diff options
Diffstat (limited to 'testsuite/tests/ghci')
59 files changed, 193 insertions, 184 deletions
diff --git a/testsuite/tests/ghci/T11827/T11827.stderr b/testsuite/tests/ghci/T11827/T11827.stderr index 84f3cead71..a8165d0bfe 100644 --- a/testsuite/tests/ghci/T11827/T11827.stderr +++ b/testsuite/tests/ghci/T11827/T11827.stderr @@ -1,2 +1,2 @@ -A.hs:6:3: error: Not in scope: data constructor ‘C’ +A.hs:6:3: error: [GHC-76037] Not in scope: data constructor ‘C’ diff --git a/testsuite/tests/ghci/prog009/ghci.prog009.stderr b/testsuite/tests/ghci/prog009/ghci.prog009.stderr index e8e5d4ab3e..4725967558 100644 --- a/testsuite/tests/ghci/prog009/ghci.prog009.stderr +++ b/testsuite/tests/ghci/prog009/ghci.prog009.stderr @@ -1,8 +1,8 @@ -A.hs:1:16: error: parse error on input ‘where’ +A.hs:1:16: error: [GHC-58481] parse error on input ‘where’ -<interactive>:25:1: error: +<interactive>:25:1: error: [GHC-88464] Variable not in scope: yan Suggested fix: Perhaps use ‘tan’ (imported from Prelude) -A.hs:1:16: error: parse error on input ‘where’ +A.hs:1:16: error: [GHC-58481] parse error on input ‘where’ diff --git a/testsuite/tests/ghci/prog010/ghci.prog010.stderr b/testsuite/tests/ghci/prog010/ghci.prog010.stderr index 75c4fb4121..bf2a189b00 100644 --- a/testsuite/tests/ghci/prog010/ghci.prog010.stderr +++ b/testsuite/tests/ghci/prog010/ghci.prog010.stderr @@ -1,4 +1,4 @@ -<interactive>:1:1: error: Variable not in scope: g +<interactive>:1:1: error: [GHC-88464] Variable not in scope: g module 'A' is not interpreted; try ':add *A' first module 'A' is not interpreted; try ':add *A' first diff --git a/testsuite/tests/ghci/prog012/prog012.stderr b/testsuite/tests/ghci/prog012/prog012.stderr index 71d2bd385a..39eacfa7ab 100644 --- a/testsuite/tests/ghci/prog012/prog012.stderr +++ b/testsuite/tests/ghci/prog012/prog012.stderr @@ -1,2 +1,2 @@ -Bar.hs:3:7: error: Variable not in scope: nonexistent +Bar.hs:3:7: error: [GHC-88464] Variable not in scope: nonexistent diff --git a/testsuite/tests/ghci/prog013/prog013.stderr b/testsuite/tests/ghci/prog013/prog013.stderr index a1b5651c9e..066f9206e1 100644 --- a/testsuite/tests/ghci/prog013/prog013.stderr +++ b/testsuite/tests/ghci/prog013/prog013.stderr @@ -1,17 +1,17 @@ -Bad.hs:3:8: error: +Bad.hs:3:8: error: [GHC-21231] lexical error in string/character literal at character '\n' -Bad.hs:3:8: error: +Bad.hs:3:8: error: [GHC-21231] lexical error in string/character literal at character '\n' -Bad.hs:3:8: error: +Bad.hs:3:8: error: [GHC-21231] lexical error in string/character literal at character '\n' -<interactive>:9:1: error: parse error on input ‘+’ +<interactive>:9:1: error: [GHC-58481] parse error on input ‘+’ -Bad.hs:3:8: error: +Bad.hs:3:8: error: [GHC-21231] lexical error in string/character literal at character '\n' -Bad.hs:3:8: error: +Bad.hs:3:8: error: [GHC-21231] lexical error in string/character literal at character '\n' diff --git a/testsuite/tests/ghci/prog018/prog018.stdout b/testsuite/tests/ghci/prog018/prog018.stdout index 23323ebb4b..da160be432 100644 --- a/testsuite/tests/ghci/prog018/prog018.stdout +++ b/testsuite/tests/ghci/prog018/prog018.stdout @@ -1,6 +1,6 @@ [1 of 3] Compiling A ( A.hs, interpreted ) -A.hs:5:1: warning: [-Wincomplete-patterns (in -Wextra)] +A.hs:5:1: warning: [GHC-62161] [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘incompletePattern’: Patterns of type ‘Int’ not matched: p where p is not one of {0} @@ -15,9 +15,11 @@ B.hs:7:1: warning: [-Wunused-imports (in -Wextra)] To import instances alone, use: import Data.Tuple() [3 of 3] Compiling C ( C.hs, interpreted ) -C.hs:6:7: error: Variable not in scope: variableNotInScope :: () +C.hs:6:7: error: [GHC-88464] + Variable not in scope: variableNotInScope :: () Failed, two modules loaded. [3 of 3] Compiling C ( C.hs, interpreted ) -C.hs:6:7: error: Variable not in scope: variableNotInScope :: () +C.hs:6:7: error: [GHC-88464] + Variable not in scope: variableNotInScope :: () Failed, two modules loaded. diff --git a/testsuite/tests/ghci/scripts/Defer02.stderr b/testsuite/tests/ghci/scripts/Defer02.stderr index bb787b30c1..e05dccbd08 100644 --- a/testsuite/tests/ghci/scripts/Defer02.stderr +++ b/testsuite/tests/ghci/scripts/Defer02.stderr @@ -1,5 +1,5 @@ -Defer01.hs:11:40: warning: [-Wdeferred-type-errors (in -Wdefault)] +Defer01.hs:11:40: warning: [GHC-83865] [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match type ‘Char’ with ‘[Char]’ Expected: String Actual: Char @@ -7,16 +7,16 @@ Defer01.hs:11:40: warning: [-Wdeferred-type-errors (in -Wdefault)] In the second argument of ‘(>>)’, namely ‘putStr ','’ In the expression: putStr "Hello World" >> putStr ',' -Defer01.hs:14:5: warning: [-Wdeferred-type-errors (in -Wdefault)] +Defer01.hs:14:5: warning: [GHC-83865] [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Int’ with actual type ‘Char’ • In the expression: 'p' In an equation for ‘a’: a = 'p' -Defer01.hs:25:1: warning: [-Woverlapping-patterns (in -Wdefault)] +Defer01.hs:25:1: warning: [GHC-94210] [-Woverlapping-patterns (in -Wdefault)] Pattern match has inaccessible right hand side In an equation for ‘c’: c (C2 x) = ... -Defer01.hs:25:4: warning: [-Winaccessible-code (in -Wdefault)] +Defer01.hs:25:4: warning: [GHC-40564] [-Winaccessible-code (in -Wdefault)] • Inaccessible code in a pattern with constructor: C2 :: Bool -> C Bool, in an equation for ‘c’ @@ -24,7 +24,7 @@ Defer01.hs:25:4: warning: [-Winaccessible-code (in -Wdefault)] • In the pattern: C2 x In an equation for ‘c’: c (C2 x) = True -Defer01.hs:31:5: warning: [-Wdeferred-type-errors (in -Wdefault)] +Defer01.hs:31:5: warning: [GHC-83865] [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Char -> t’ with actual type ‘Char’ • The function ‘e’ is applied to one value argument, but its type ‘Char’ has none @@ -32,7 +32,7 @@ Defer01.hs:31:5: warning: [-Wdeferred-type-errors (in -Wdefault)] In an equation for ‘f’: f = e 'q' • Relevant bindings include f :: t (bound at Defer01.hs:31:1) -Defer01.hs:34:8: warning: [-Wdeferred-type-errors (in -Wdefault)] +Defer01.hs:34:8: warning: [GHC-25897] [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Char’ with actual type ‘a’ ‘a’ is a rigid type variable bound by the type signature for: @@ -45,7 +45,7 @@ Defer01.hs:34:8: warning: [-Wdeferred-type-errors (in -Wdefault)] x :: a (bound at Defer01.hs:34:3) h :: a -> (Char, Char) (bound at Defer01.hs:34:1) -Defer01.hs:39:17: warning: [-Wdeferred-type-errors (in -Wdefault)] +Defer01.hs:39:17: warning: [GHC-83865] [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Bool’ with actual type ‘T a’ • In the first argument of ‘not’, namely ‘(K a)’ In the first argument of ‘seq’, namely ‘(not (K a))’ @@ -54,19 +54,19 @@ Defer01.hs:39:17: warning: [-Wdeferred-type-errors (in -Wdefault)] a :: a (bound at Defer01.hs:39:3) i :: a -> () (bound at Defer01.hs:39:1) -Defer01.hs:47:7: warning: [-Wdeferred-type-errors (in -Wdefault)] +Defer01.hs:47:7: warning: [GHC-83865] [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Bool’ with actual type ‘Int’ • In the expression: x In an equation for ‘k’: k x = x -Defer01.hs:50:5: warning: [-Wdeferred-type-errors (in -Wdefault)] +Defer01.hs:50:5: warning: [GHC-83865] [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type: IO a0 with actual type: Char -> IO () • Probable cause: ‘putChar’ is applied to too few arguments In the first argument of ‘(>>)’, namely ‘putChar’ In the expression: putChar >> putChar 'p' In an equation for ‘l’: l = putChar >> putChar 'p' -*** Exception: Defer01.hs:11:40: error: +*** Exception: Defer01.hs:11:40: error: [GHC-83865] • Couldn't match type ‘Char’ with ‘[Char]’ Expected: String Actual: Char @@ -74,31 +74,31 @@ Defer01.hs:50:5: warning: [-Wdeferred-type-errors (in -Wdefault)] In the second argument of ‘(>>)’, namely ‘putStr ','’ In the expression: putStr "Hello World" >> putStr ',' (deferred type error) -*** Exception: Defer01.hs:14:5: error: +*** Exception: Defer01.hs:14:5: error: [GHC-83865] • Couldn't match expected type ‘Int’ with actual type ‘Char’ • In the expression: 'p' In an equation for ‘a’: a = 'p' (deferred type error) -*** Exception: Defer01.hs:18:9: error: +*** Exception: Defer01.hs:18:9: error: [GHC-39999] • No instance for ‘Eq B’ arising from a use of ‘==’ • In the expression: x == x In an equation for ‘b’: b x = x == x (deferred type error) -<interactive>:10:11: error: +<interactive>:10:11: error: [GHC-83865] • Couldn't match type ‘Bool’ with ‘Int’ Expected: C Int Actual: C Bool • In the first argument of ‘c’, namely ‘(C2 True)’ In the first argument of ‘print’, namely ‘(c (C2 True))’ In the expression: print (c (C2 True)) -*** Exception: Defer01.hs:28:5: error: +*** Exception: Defer01.hs:28:5: error: [GHC-39999] • No instance for ‘Num (a -> a)’ arising from the literal ‘1’ (maybe you haven't applied a function to enough arguments?) • In the expression: 1 In an equation for ‘d’: d = 1 (deferred type error) -*** Exception: Defer01.hs:31:5: error: +*** Exception: Defer01.hs:31:5: error: [GHC-83865] • Couldn't match expected type ‘Char -> t’ with actual type ‘Char’ • The function ‘e’ is applied to one value argument, but its type ‘Char’ has none @@ -106,7 +106,7 @@ Defer01.hs:50:5: warning: [-Wdeferred-type-errors (in -Wdefault)] In an equation for ‘f’: f = e 'q' • Relevant bindings include f :: t (bound at Defer01.hs:31:1) (deferred type error) -*** Exception: Defer01.hs:34:8: error: +*** Exception: Defer01.hs:34:8: error: [GHC-25897] • Couldn't match expected type ‘Char’ with actual type ‘a’ ‘a’ is a rigid type variable bound by the type signature for: @@ -119,7 +119,7 @@ Defer01.hs:50:5: warning: [-Wdeferred-type-errors (in -Wdefault)] x :: a (bound at Defer01.hs:34:3) h :: a -> (Char, Char) (bound at Defer01.hs:34:1) (deferred type error) -*** Exception: Defer01.hs:39:17: error: +*** Exception: Defer01.hs:39:17: error: [GHC-83865] • Couldn't match expected type ‘Bool’ with actual type ‘T a’ • In the first argument of ‘not’, namely ‘(K a)’ In the first argument of ‘seq’, namely ‘(not (K a))’ @@ -128,18 +128,18 @@ Defer01.hs:50:5: warning: [-Wdeferred-type-errors (in -Wdefault)] a :: a (bound at Defer01.hs:39:3) i :: a -> () (bound at Defer01.hs:39:1) (deferred type error) -*** Exception: Defer01.hs:43:5: error: +*** Exception: Defer01.hs:43:5: error: [GHC-39999] • No instance for ‘MyClass a1’ arising from a use of ‘myOp’ • In the expression: myOp 23 In an equation for ‘j’: j = myOp 23 (deferred type error) -<interactive>:16:8: error: +<interactive>:16:8: error: [GHC-18872] • Couldn't match type ‘Int’ with ‘Bool’ arising from a use of ‘k’ • In the first argument of ‘print’, namely ‘(k 2)’ In the expression: print (k 2) In an equation for ‘it’: it = print (k 2) -*** Exception: Defer01.hs:50:5: error: +*** Exception: Defer01.hs:50:5: error: [GHC-83865] • Couldn't match expected type: IO a0 with actual type: Char -> IO () • Probable cause: ‘putChar’ is applied to too few arguments diff --git a/testsuite/tests/ghci/scripts/StaticPtr.stderr b/testsuite/tests/ghci/scripts/StaticPtr.stderr index b45f64e64d..7975283219 100644 --- a/testsuite/tests/ghci/scripts/StaticPtr.stderr +++ b/testsuite/tests/ghci/scripts/StaticPtr.stderr @@ -1,3 +1,3 @@ -<interactive>: warning: +<interactive>: warning: [GHC-77799] StaticPointers is not supported in GHCi interactive expressions. diff --git a/testsuite/tests/ghci/scripts/T10248.stderr b/testsuite/tests/ghci/scripts/T10248.stderr index b9cf45a8f6..8f5ca0ad08 100644 --- a/testsuite/tests/ghci/scripts/T10248.stderr +++ b/testsuite/tests/ghci/scripts/T10248.stderr @@ -1,5 +1,5 @@ -<interactive>:2:10: error: +<interactive>:2:10: error: [GHC-88464] • Found hole: _ :: f a Where: ‘f’, ‘a’ are rigid type variables bound by the inferred type of it :: Functor f => f (Maybe a) diff --git a/testsuite/tests/ghci/scripts/T10249.stderr b/testsuite/tests/ghci/scripts/T10249.stderr index b7e3e07a89..66f0c21987 100644 --- a/testsuite/tests/ghci/scripts/T10249.stderr +++ b/testsuite/tests/ghci/scripts/T10249.stderr @@ -1,5 +1,5 @@ -<interactive>:1:1: error: +<interactive>:1:1: error: [GHC-88464] • Found hole: _ :: p Where: ‘p’ is a rigid type variable bound by the inferred type of it :: p diff --git a/testsuite/tests/ghci/scripts/T10508.stderr b/testsuite/tests/ghci/scripts/T10508.stderr index 89392b3ea8..815f6681d2 100644 --- a/testsuite/tests/ghci/scripts/T10508.stderr +++ b/testsuite/tests/ghci/scripts/T10508.stderr @@ -1,5 +1,5 @@ -<interactive>:1:15: error: +<interactive>:1:15: error: [GHC-83865] • Couldn't match type: a0 -> a0 with: [Char] Expected: Prelude.String diff --git a/testsuite/tests/ghci/scripts/T10963.stderr b/testsuite/tests/ghci/scripts/T10963.stderr index c02729750c..3738fc16cc 100644 --- a/testsuite/tests/ghci/scripts/T10963.stderr +++ b/testsuite/tests/ghci/scripts/T10963.stderr @@ -1,5 +1,5 @@ -<interactive>:1:1: error: +<interactive>:1:1: error: [GHC-39999] • Ambiguous type variable ‘a0’ arising from a use of ‘foo’ prevents the constraint ‘(Num a0)’ from being solved. Probable fix: use a type annotation to specify what ‘a0’ should be. diff --git a/testsuite/tests/ghci/scripts/T11606.stderr b/testsuite/tests/ghci/scripts/T11606.stderr index bbfb7406c6..3b75f00ea8 100644 --- a/testsuite/tests/ghci/scripts/T11606.stderr +++ b/testsuite/tests/ghci/scripts/T11606.stderr @@ -1,12 +1,12 @@ -<interactive>:3:1: warning: [-Wname-shadowing (in -Wall)] +<interactive>:3:1: warning: [GHC-63397] [-Wname-shadowing (in -Wall)] This binding for ‘x’ shadows the existing binding defined at <interactive>:2:1 -<interactive>:4:1: warning: [-Wname-shadowing (in -Wall)] +<interactive>:4:1: warning: [GHC-63397] [-Wname-shadowing (in -Wall)] This binding for ‘x’ shadows the existing binding defined at <interactive>:3:1 -<interactive>:5:5: warning: [-Wname-shadowing (in -Wall)] +<interactive>:5:5: warning: [GHC-63397] [-Wname-shadowing (in -Wall)] This binding for ‘x’ shadows the existing binding defined at <interactive>:4:1 diff --git a/testsuite/tests/ghci/scripts/T13202.stderr b/testsuite/tests/ghci/scripts/T13202.stderr index 33c1945089..aa130f2d8d 100644 --- a/testsuite/tests/ghci/scripts/T13202.stderr +++ b/testsuite/tests/ghci/scripts/T13202.stderr @@ -1,5 +1,5 @@ -<interactive>:6:22: error: +<interactive>:6:22: error: [GHC-95781] • Cannot apply expression of type ‘TypeRep a0’ to a visible type argument ‘(Maybe Int#)’ • In the first argument of ‘typeRepKind’, namely diff --git a/testsuite/tests/ghci/scripts/T13202a.stderr b/testsuite/tests/ghci/scripts/T13202a.stderr index a2a6704432..880c9b03ec 100644 --- a/testsuite/tests/ghci/scripts/T13202a.stderr +++ b/testsuite/tests/ghci/scripts/T13202a.stderr @@ -1,5 +1,5 @@ -<interactive>:4:5: error: +<interactive>:4:5: error: [GHC-80003] • Non type-variable argument in the constraint: HasField "name" r a • When checking the inferred type foo :: forall {r} {a}. HasField "name" r a => r -> a diff --git a/testsuite/tests/ghci/scripts/T13466.stderr b/testsuite/tests/ghci/scripts/T13466.stderr index a31acf385b..638f26d295 100644 --- a/testsuite/tests/ghci/scripts/T13466.stderr +++ b/testsuite/tests/ghci/scripts/T13466.stderr @@ -1,2 +1,3 @@ -<interactive>:1:1: error: Variable not in scope: out_of_scope +<interactive>:1:1: error: [GHC-88464] + Variable not in scope: out_of_scope diff --git a/testsuite/tests/ghci/scripts/T14969.stderr b/testsuite/tests/ghci/scripts/T14969.stderr index b44c578b20..0dec7620b6 100644 --- a/testsuite/tests/ghci/scripts/T14969.stderr +++ b/testsuite/tests/ghci/scripts/T14969.stderr @@ -1,5 +1,5 @@ -<interactive>:2:1: error: +<interactive>:2:1: error: [GHC-80003] • Non type-variable argument in the constraint: Num (t2 -> t1 -> t3) • When checking the inferred type diff --git a/testsuite/tests/ghci/scripts/T15259.stderr b/testsuite/tests/ghci/scripts/T15259.stderr index 29a04a6487..c205f77b7b 100644 --- a/testsuite/tests/ghci/scripts/T15259.stderr +++ b/testsuite/tests/ghci/scripts/T15259.stderr @@ -1,2 +1,2 @@ -<interactive>:3:5: error: Variable not in scope: a +<interactive>:3:5: error: [GHC-88464] Variable not in scope: a diff --git a/testsuite/tests/ghci/scripts/T15325.stderr b/testsuite/tests/ghci/scripts/T15325.stderr index e7c6c8fc67..15b28426c2 100644 --- a/testsuite/tests/ghci/scripts/T15325.stderr +++ b/testsuite/tests/ghci/scripts/T15325.stderr @@ -1,10 +1,10 @@ -T15325.hs:11:7: warning: [-Wdeferred-type-errors (in -Wdefault)] +T15325.hs:11:7: warning: [GHC-39999] [-Wdeferred-type-errors (in -Wdefault)] • No instance for ‘PolyList e0’ arising from a use of ‘f’ • In the expression: f 0 In an equation for ‘plh’: plh = f 0 -T15325.hs:11:9: warning: [-Wdeferred-type-errors (in -Wdefault)] +T15325.hs:11:9: warning: [GHC-39999] [-Wdeferred-type-errors (in -Wdefault)] • Ambiguous type variable ‘e0’ arising from the literal ‘0’ prevents the constraint ‘(Num e0)’ from being solved. Probable fix: use a type annotation to specify what ‘e0’ should be. @@ -17,7 +17,7 @@ T15325.hs:11:9: warning: [-Wdeferred-type-errors (in -Wdefault)] • In the first argument of ‘f’, namely ‘0’ In the expression: f 0 In an equation for ‘plh’: plh = f 0 -*** Exception: T15325.hs:11:7: error: +*** Exception: T15325.hs:11:7: error: [GHC-39999] • No instance for ‘PolyList e0’ arising from a use of ‘f’ • In the expression: f 0 In an equation for ‘plh’: plh = f 0 diff --git a/testsuite/tests/ghci/scripts/T15898.stderr b/testsuite/tests/ghci/scripts/T15898.stderr index aeda5ba5fe..4fd99bbccc 100644 --- a/testsuite/tests/ghci/scripts/T15898.stderr +++ b/testsuite/tests/ghci/scripts/T15898.stderr @@ -1,23 +1,23 @@ -<interactive>:3:14: error: +<interactive>:3:14: error: [GHC-83865] • Expected a type, but ‘'()’ has kind ‘()’ • In an expression type signature: '() In the expression: undefined :: '() In an equation for ‘it’: it = undefined :: '() -<interactive>:4:14: error: +<interactive>:4:14: error: [GHC-83865] • Expected kind ‘* -> *’, but ‘Proxy '()’ has kind ‘*’ • In an expression type signature: Proxy '() Int In the expression: undefined :: Proxy '() Int In an equation for ‘it’: it = undefined :: Proxy '() Int -<interactive>:5:14: error: +<interactive>:5:14: error: [GHC-83865] • Expected a type, but ‘[(), ()]’ has kind ‘[*]’ • In an expression type signature: [(), ()] In the expression: undefined :: [(), ()] In an equation for ‘it’: it = undefined :: [(), ()] -<interactive>:6:14: error: +<interactive>:6:14: error: [GHC-83865] • Expected a type, but ‘'( '[], '[])’ has kind ‘([k0], [k1])’ • In an expression type signature: '( '[], '[]) In the expression: undefined :: '( '[], '[]) diff --git a/testsuite/tests/ghci/scripts/T16376.stderr b/testsuite/tests/ghci/scripts/T16376.stderr index 7b34531569..8bf27a8626 100644 --- a/testsuite/tests/ghci/scripts/T16376.stderr +++ b/testsuite/tests/ghci/scripts/T16376.stderr @@ -1,11 +1,11 @@ -<interactive>:1:5: error: +<interactive>:1:5: error: [GHC-83865] • Expecting one more argument to ‘Maybe’ Expected a type, but ‘Maybe’ has kind ‘* -> *’ • In the type ‘Maybe’ In the expression: id @Maybe -<interactive>:1:5: error: +<interactive>:1:5: error: [GHC-83865] • Expecting one more argument to ‘Maybe’ Expected a type, but ‘Maybe’ has kind ‘* -> *’ • In the first argument of ‘Id’, namely ‘Maybe’ diff --git a/testsuite/tests/ghci/scripts/T17549.stderr b/testsuite/tests/ghci/scripts/T17549.stderr index 0abf6916ec..1e635e75da 100644 --- a/testsuite/tests/ghci/scripts/T17549.stderr +++ b/testsuite/tests/ghci/scripts/T17549.stderr @@ -1,3 +1,3 @@ -T17549.hs:1:7: +T17549.hs:1:7: error: [GHC-58481] parse error (possibly incorrect indentation or mismatched brackets) diff --git a/testsuite/tests/ghci/scripts/T19158.stderr b/testsuite/tests/ghci/scripts/T19158.stderr index 9b15a102e8..be11b6d6dc 100644 --- a/testsuite/tests/ghci/scripts/T19158.stderr +++ b/testsuite/tests/ghci/scripts/T19158.stderr @@ -1,5 +1,5 @@ -<interactive>:1:5: error: +<interactive>:1:5: error: [GHC-83865] • Expecting one more argument to ‘Maybe’ Expected a type, but ‘Maybe’ has kind ‘* -> *’ • In the type ‘Maybe’ diff --git a/testsuite/tests/ghci/scripts/T19197.stderr b/testsuite/tests/ghci/scripts/T19197.stderr index 231ffd4de6..e77ca238cb 100644 --- a/testsuite/tests/ghci/scripts/T19197.stderr +++ b/testsuite/tests/ghci/scripts/T19197.stderr @@ -1,5 +1,5 @@ -<interactive>:1:8: error: +<interactive>:1:8: error: [GHC-83865] • Expected a type, but ‘'()’ has kind ‘()’ • In the kind ‘'()’ In the type ‘(() :: '())’ diff --git a/testsuite/tests/ghci/scripts/T20455.stderr b/testsuite/tests/ghci/scripts/T20455.stderr index 61870da12a..db1df877e3 100644 --- a/testsuite/tests/ghci/scripts/T20455.stderr +++ b/testsuite/tests/ghci/scripts/T20455.stderr @@ -1,5 +1,5 @@ -<interactive>:3:1: error: +<interactive>:3:1: error: [GHC-88464] Variable not in scope: ll Suggested fix: Perhaps use one of these: diff --git a/testsuite/tests/ghci/scripts/T21110.stderr b/testsuite/tests/ghci/scripts/T21110.stderr index 931666d072..13fe02def1 100644 --- a/testsuite/tests/ghci/scripts/T21110.stderr +++ b/testsuite/tests/ghci/scripts/T21110.stderr @@ -1,5 +1,5 @@ -<no location info>: warning: [-Wunused-packages] +<no location info>: warning: [GHC-42258] [-Wunused-packages] The following packages were specified via -package or -package-id flags, but were not needed for compilation: - template-haskell-2.19.0.0 (exposed by flag -package template-haskell) diff --git a/testsuite/tests/ghci/scripts/T2182ghci.stderr b/testsuite/tests/ghci/scripts/T2182ghci.stderr index 5d28baef74..a0db48413b 100644 --- a/testsuite/tests/ghci/scripts/T2182ghci.stderr +++ b/testsuite/tests/ghci/scripts/T2182ghci.stderr @@ -1,25 +1,25 @@ -<interactive>:2:1: error: +<interactive>:2:1: error: [GHC-39999] • No instance for ‘Show (p0 -> p0)’ arising from a use of ‘print’ (maybe you haven't applied a function to enough arguments?) • In a stmt of an interactive GHCi command: print it -<interactive>:10:1: error: +<interactive>:10:1: error: [GHC-39999] • No instance for ‘Show (p0 -> p0)’ arising from a use of ‘print’ (maybe you haven't applied a function to enough arguments?) • In a stmt of an interactive GHCi command: print it -<interactive>:19:1: error: +<interactive>:19:1: error: [GHC-39999] • No instance for ‘Show (p0 -> p0)’ arising from a use of ‘print’ (maybe you haven't applied a function to enough arguments?) • In a stmt of an interactive GHCi command: print it -<interactive>:28:1: error: +<interactive>:28:1: error: [GHC-39999] • No instance for ‘Show (p0 -> p0)’ arising from a use of ‘print’ (maybe you haven't applied a function to enough arguments?) • In a stmt of an interactive GHCi command: print it -<interactive>:49:1: error: +<interactive>:49:1: error: [GHC-39999] • No instance for ‘Show (p0 -> p0)’ arising from a use of ‘print’ (maybe you haven't applied a function to enough arguments?) • In a stmt of an interactive GHCi command: print it diff --git a/testsuite/tests/ghci/scripts/T2182ghci2.stderr b/testsuite/tests/ghci/scripts/T2182ghci2.stderr index 8087c00af9..c690fc4074 100644 --- a/testsuite/tests/ghci/scripts/T2182ghci2.stderr +++ b/testsuite/tests/ghci/scripts/T2182ghci2.stderr @@ -1,10 +1,10 @@ -<interactive>:7:1: error: +<interactive>:7:1: error: [GHC-39999] • No instance for ‘GHC.Show.Show Float’ arising from a use of ‘System.IO.print’ • In a stmt of an interactive GHCi command: System.IO.print it -<interactive>:15:1: error: +<interactive>:15:1: error: [GHC-39999] • No instance for ‘GHC.Show.Show Float’ arising from a use of ‘System.IO.print’ • In a stmt of an interactive GHCi command: System.IO.print it diff --git a/testsuite/tests/ghci/scripts/T2452.stderr b/testsuite/tests/ghci/scripts/T2452.stderr index c6f37c6680..05de0373e9 100644 --- a/testsuite/tests/ghci/scripts/T2452.stderr +++ b/testsuite/tests/ghci/scripts/T2452.stderr @@ -1,8 +1,8 @@ -<interactive>:1:1: error: +<interactive>:1:1: error: [GHC-76037] Not in scope: ‘System.IO.hPutStrLn’ NB: no module named ‘System.IO’ is imported. -<interactive>:1:1: error: +<interactive>:1:1: error: [GHC-76037] Not in scope: ‘System.IO.hPutStrLn’ NB: no module named ‘System.IO’ is imported. diff --git a/testsuite/tests/ghci/scripts/T2816.stderr b/testsuite/tests/ghci/scripts/T2816.stderr index e41f25a5d2..45a551f24e 100644 --- a/testsuite/tests/ghci/scripts/T2816.stderr +++ b/testsuite/tests/ghci/scripts/T2816.stderr @@ -1,2 +1,2 @@ -<interactive>:1:1: error: Variable not in scope: α +<interactive>:1:1: error: [GHC-88464] Variable not in scope: α diff --git a/testsuite/tests/ghci/scripts/T3263.stderr b/testsuite/tests/ghci/scripts/T3263.stderr index dd72b3f31b..62bbf0523a 100644 --- a/testsuite/tests/ghci/scripts/T3263.stderr +++ b/testsuite/tests/ghci/scripts/T3263.stderr @@ -1,5 +1,4 @@ -T3263.hs:8:12: warning: [-Wunused-do-bind (in -Wall)] +T3263.hs:8:12: warning: [GHC-81995] [-Wunused-do-bind (in -Wall)] A do-notation statement discarded a result of type ‘Char’ - Suggested fix: - Suppress this warning by saying ‘_ <- getChar’ + Suggested fix: Suppress this warning by saying ‘_ <- getChar’ diff --git a/testsuite/tests/ghci/scripts/T5564.stderr b/testsuite/tests/ghci/scripts/T5564.stderr index 2338e22e03..3b7feeb898 100644 --- a/testsuite/tests/ghci/scripts/T5564.stderr +++ b/testsuite/tests/ghci/scripts/T5564.stderr @@ -1,9 +1,9 @@ -<interactive>:2:1: error: +<interactive>:2:1: error: [GHC-88464] Variable not in scope: git Suggested fix: Perhaps use ‘it’ (line 1) -<interactive>:4:1: error: +<interactive>:4:1: error: [GHC-88464] Variable not in scope: fit Suggested fix: Perhaps use one of these: diff --git a/testsuite/tests/ghci/scripts/T6018ghcifail.stderr b/testsuite/tests/ghci/scripts/T6018ghcifail.stderr index 30fbb0529f..af3d7480eb 100644 --- a/testsuite/tests/ghci/scripts/T6018ghcifail.stderr +++ b/testsuite/tests/ghci/scripts/T6018ghcifail.stderr @@ -1,45 +1,45 @@ -<interactive>:10:15: error: +<interactive>:10:15: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: F Char Bool Int = Int -- Defined at <interactive>:10:15 F Bool Int Char = Int -- Defined at <interactive>:11:15 -<interactive>:16:15: error: +<interactive>:16:15: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: I Int Char Bool = Bool -- Defined at <interactive>:16:15 I Int Int Int = Bool -- Defined at <interactive>:17:15 -<interactive>:26:15: error: +<interactive>:26:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. RHS of injective type family equation cannot be a type family: IdProxy a = Id a -- Defined at <interactive>:26:15 -<interactive>:34:15: error: +<interactive>:34:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. RHS of injective type family equation is a bare type variable but these LHS type and kind patterns are not bare variables: ‘'Z’ P 'Z m = m -- Defined at <interactive>:34:15 -<interactive>:40:15: error: +<interactive>:40:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type variable ‘b’ cannot be inferred from the right-hand side. In the type family equation: J Int b c = Char -- Defined at <interactive>:40:15 -<interactive>:44:15: error: +<interactive>:44:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type variable ‘n’ cannot be inferred from the right-hand side. In the type family equation: K ('S n) m = 'S m -- Defined at <interactive>:44:15 -<interactive>:49:15: error: +<interactive>:49:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. RHS of injective type family equation cannot be a type family: L a = MaybeSyn a -- Defined at <interactive>:49:15 -<interactive>:55:41: error: +<interactive>:55:41: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type/kind variable ‘k1’ cannot be inferred from the right-hand side. @@ -47,7 +47,7 @@ PolyKindVarsF @{[k1]} @[k2] ('[] @k1) = '[] @k2 -- Defined at <interactive>:55:41 -<interactive>:60:15: error: +<interactive>:60:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type/kind variable ‘k1’ cannot be inferred from the right-hand side. @@ -55,14 +55,14 @@ PolyKindVars @[k1] @[k2] ('[] @k1) = '[] @k2 -- Defined at <interactive>:60:15 -<interactive>:64:15: error: +<interactive>:64:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type/kind variable ‘k’ cannot be inferred from the right-hand side. In the type family equation: forall {k} {a :: k} {b :: k}. Fc @k a b = Int -- Defined at <interactive>:64:15 -<interactive>:68:15: error: +<interactive>:68:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type/kind variables ‘k’, ‘a’, ‘b’ cannot be inferred from the right-hand side. @@ -70,54 +70,54 @@ forall {k} {a :: k} {b :: k}. Gc @k a b = Int -- Defined at <interactive>:68:15 -<interactive>:81:15: error: +<interactive>:81:15: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: F1 [a] = Maybe (GF1 a) -- Defined at <interactive>:81:15 F1 (Maybe a) = Maybe (GF2 a) -- Defined at <interactive>:82:15 -<interactive>:85:15: error: +<interactive>:85:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. RHS of injective type family equation is a bare type variable but these LHS type and kind patterns are not bare variables: ‘[a]’ W1 [a] = a -- Defined at <interactive>:85:15 -<interactive>:88:15: error: +<interactive>:88:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. RHS of injective type family equation cannot be a type family: W2 [a] = W2 a -- Defined at <interactive>:88:15 -<interactive>:92:15: error: +<interactive>:92:15: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: Z1 [a] = (a, a) -- Defined at <interactive>:92:15 Z1 (Maybe b) = (b, [b]) -- Defined at <interactive>:93:15 -<interactive>:96:15: error: +<interactive>:96:15: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: G1 [a] = [a] -- Defined at <interactive>:96:15 G1 (Maybe b) = [(b, b)] -- Defined at <interactive>:97:15 -<interactive>:100:15: error: +<interactive>:100:15: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: G3 a Int = (a, Int) -- Defined at <interactive>:100:15 G3 a Bool = (Bool, a) -- Defined at <interactive>:101:15 -<interactive>:104:15: error: +<interactive>:104:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type variable ‘b’ cannot be inferred from the right-hand side. In the type family equation: G4 a b = [a] -- Defined at <interactive>:104:15 -<interactive>:107:15: error: +<interactive>:107:15: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: G5 [a] = [GF1 a] -- Defined at <interactive>:107:15 G5 Int = [Bool] -- Defined at <interactive>:108:15 -<interactive>:111:15: error: +<interactive>:111:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type variable ‘a’ cannot be inferred from the right-hand side. In the type family equation: diff --git a/testsuite/tests/ghci/scripts/T6018ghcirnfail.stderr b/testsuite/tests/ghci/scripts/T6018ghcirnfail.stderr index 87f5a040b1..96b4dcd95d 100644 --- a/testsuite/tests/ghci/scripts/T6018ghcirnfail.stderr +++ b/testsuite/tests/ghci/scripts/T6018ghcirnfail.stderr @@ -1,63 +1,69 @@ -<interactive>:10:23: +<interactive>:10:23: error: Incorrect type variable on the LHS of injectivity condition Expected : r Actual : a -<interactive>:11:24: +<interactive>:11:24: error: Incorrect type variable on the LHS of injectivity condition Expected : r Actual : a -<interactive>:12:37: +<interactive>:12:37: error: Incorrect type variable on the LHS of injectivity condition Expected : r Actual : a -<interactive>:15:19: +<interactive>:15:19: error: Type variable ‘a’, naming a type family result, shadows an already bound type variable -<interactive>:16:20: +<interactive>:16:20: error: Type variable ‘a’, naming a type family result, shadows an already bound type variable -<interactive>:19:20: +<interactive>:19:20: error: Type variable ‘a’, naming a type family result, shadows an already bound type variable -<interactive>:19:24: +<interactive>:19:24: error: Unknown type variable on the RHS of injectivity condition: a -<interactive>:20:21: +<interactive>:20:21: error: Type variable ‘a’, naming a type family result, shadows an already bound type variable -<interactive>:20:25: +<interactive>:20:25: error: Unknown type variable on the RHS of injectivity condition: a -<interactive>:21:35: +<interactive>:21:35: error: Type variable ‘a’, naming a type family result, shadows an already bound type variable -<interactive>:21:39: +<interactive>:21:39: error: Unknown type variable on the RHS of injectivity condition: a -<interactive>:24:1: Not in scope: type variable ‘c’ +<interactive>:24:1: error: [GHC-76037] + Not in scope: type variable ‘c’ -<interactive>:25:1: Not in scope: type variable ‘c’ +<interactive>:25:1: error: [GHC-76037] + Not in scope: type variable ‘c’ -<interactive>:26:23: Not in scope: type variable ‘c’ +<interactive>:26:23: error: [GHC-76037] + Not in scope: type variable ‘c’ -<interactive>:34:1: Not in scope: type variable ‘c’ +<interactive>:34:1: error: [GHC-76037] + Not in scope: type variable ‘c’ -<interactive>:35:1: Not in scope: type variable ‘c’ +<interactive>:35:1: error: [GHC-76037] + Not in scope: type variable ‘c’ -<interactive>:36:23: Not in scope: type variable ‘c’ +<interactive>:36:23: error: [GHC-76037] + Not in scope: type variable ‘c’ -<interactive>:39:33: +<interactive>:39:33: error: Type variable ‘a’, naming a type family result, shadows an already bound type variable -<interactive>:42:37: +<interactive>:42:37: error: Unknown type variable on the RHS of injectivity condition: b diff --git a/testsuite/tests/ghci/scripts/T7627b.stderr b/testsuite/tests/ghci/scripts/T7627b.stderr index 87997e7988..f3c83d9cfb 100644 --- a/testsuite/tests/ghci/scripts/T7627b.stderr +++ b/testsuite/tests/ghci/scripts/T7627b.stderr @@ -1,12 +1,12 @@ -<interactive>:1:2: +<interactive>:1:2: error: [GHC-58481] parse error (possibly incorrect indentation or mismatched brackets) -<interactive>:1:3: +<interactive>:1:3: error: [GHC-58481] parse error (possibly incorrect indentation or mismatched brackets) -<interactive>:1:2: +<interactive>:1:2: error: [GHC-58481] parse error (possibly incorrect indentation or mismatched brackets) -<interactive>:1:3: +<interactive>:1:3: error: [GHC-58481] parse error (possibly incorrect indentation or mismatched brackets) diff --git a/testsuite/tests/ghci/scripts/T7873.stderr b/testsuite/tests/ghci/scripts/T7873.stderr index 8ec10322c8..c69f37b516 100644 --- a/testsuite/tests/ghci/scripts/T7873.stderr +++ b/testsuite/tests/ghci/scripts/T7873.stderr @@ -1,2 +1,3 @@ -<interactive>:2:32: error: Not in scope: type variable ‘k’ +<interactive>:2:32: error: [GHC-76037] + Not in scope: type variable ‘k’ diff --git a/testsuite/tests/ghci/scripts/T8353.stderr b/testsuite/tests/ghci/scripts/T8353.stderr index bf737eb3fb..71fd9de2d5 100644 --- a/testsuite/tests/ghci/scripts/T8353.stderr +++ b/testsuite/tests/ghci/scripts/T8353.stderr @@ -1,10 +1,10 @@ -Defer03.hs:4:5: warning: [-Wdeferred-type-errors (in -Wdefault)] +Defer03.hs:4:5: warning: [GHC-83865] [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Int’ with actual type ‘Char’ • In the expression: 'p' In an equation for ‘a’: a = 'p' -Defer03.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)] +Defer03.hs:7:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] • Found hole: _ :: Int • In an equation for ‘f’: f = _ • Relevant bindings include f :: Int (bound at Defer03.hs:7:1) @@ -20,12 +20,12 @@ Defer03.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)] (imported from ‘Prelude’ at Defer03.hs:1:8-11 (and originally defined in ‘GHC.Enum’)) -Defer03.hs:4:5: error: +Defer03.hs:4:5: error: [GHC-83865] • Couldn't match expected type ‘Int’ with actual type ‘Char’ • In the expression: 'p' In an equation for ‘a’: a = 'p' -Defer03.hs:7:5: error: +Defer03.hs:7:5: error: [GHC-88464] • Found hole: _ :: Int • In an equation for ‘f’: f = _ • Relevant bindings include f :: Int (bound at Defer03.hs:7:1) @@ -41,12 +41,12 @@ Defer03.hs:7:5: error: (imported from ‘Prelude’ at Defer03.hs:1:8-11 (and originally defined in ‘GHC.Enum’)) -Defer03.hs:4:5: warning: [-Wdeferred-type-errors (in -Wdefault)] +Defer03.hs:4:5: warning: [GHC-83865] [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Int’ with actual type ‘Char’ • In the expression: 'p' In an equation for ‘a’: a = 'p' -Defer03.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)] +Defer03.hs:7:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] • Found hole: _ :: Int • In an equation for ‘f’: f = _ • Relevant bindings include f :: Int (bound at Defer03.hs:7:1) @@ -62,12 +62,12 @@ Defer03.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)] (imported from ‘Prelude’ at Defer03.hs:1:8-11 (and originally defined in ‘GHC.Enum’)) -Defer03.hs:4:5: error: +Defer03.hs:4:5: error: [GHC-83865] • Couldn't match expected type ‘Int’ with actual type ‘Char’ • In the expression: 'p' In an equation for ‘a’: a = 'p' -Defer03.hs:7:5: error: +Defer03.hs:7:5: error: [GHC-88464] • Found hole: _ :: Int • In an equation for ‘f’: f = _ • Relevant bindings include f :: Int (bound at Defer03.hs:7:1) @@ -83,12 +83,12 @@ Defer03.hs:7:5: error: (imported from ‘Prelude’ at Defer03.hs:1:8-11 (and originally defined in ‘GHC.Enum’)) -Defer03.hs:4:5: warning: [-Wdeferred-type-errors (in -Wdefault)] +Defer03.hs:4:5: warning: [GHC-83865] [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Int’ with actual type ‘Char’ • In the expression: 'p' In an equation for ‘a’: a = 'p' -Defer03.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)] +Defer03.hs:7:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] • Found hole: _ :: Int • In an equation for ‘f’: f = _ • Relevant bindings include f :: Int (bound at Defer03.hs:7:1) diff --git a/testsuite/tests/ghci/scripts/T8485.stderr b/testsuite/tests/ghci/scripts/T8485.stderr index 8d77f82eaa..9746327c39 100644 --- a/testsuite/tests/ghci/scripts/T8485.stderr +++ b/testsuite/tests/ghci/scripts/T8485.stderr @@ -1,5 +1,5 @@ -<interactive>:2:11: error: +<interactive>:2:11: error: [GHC-44432] The role annotation for ‘X’ lacks an accompanying binding 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 9764bcdf67..be69a84d9e 100644 --- a/testsuite/tests/ghci/scripts/T8639.stderr +++ b/testsuite/tests/ghci/scripts/T8639.stderr @@ -1,5 +1,5 @@ -<interactive>:1:1: error: +<interactive>:1:1: error: [GHC-76037] Not in scope: ‘H.bit’ NB: no module named ‘H’ is imported. Suggested fix: Perhaps use ‘Q.bit’ (imported from T8639) diff --git a/testsuite/tests/ghci/scripts/T8649.stderr b/testsuite/tests/ghci/scripts/T8649.stderr index 96afa36a54..19edacbc18 100644 --- a/testsuite/tests/ghci/scripts/T8649.stderr +++ b/testsuite/tests/ghci/scripts/T8649.stderr @@ -1,5 +1,5 @@ -<interactive>:4:4: error: +<interactive>:4:4: error: [GHC-83865] • Couldn't match expected type ‘Ghci1.X’ with actual type ‘X’ NB: ‘Ghci1.X’ is defined at <interactive>:1:1-14 ‘X’ is defined at <interactive>:3:1-25 diff --git a/testsuite/tests/ghci/scripts/T8959.stderr b/testsuite/tests/ghci/scripts/T8959.stderr index fae95f7327..02f3215961 100644 --- a/testsuite/tests/ghci/scripts/T8959.stderr +++ b/testsuite/tests/ghci/scripts/T8959.stderr @@ -1,21 +1,21 @@ -<interactive>:1:1: error: +<interactive>:1:1: error: [GHC-66043] Arrow command found where an expression was expected: () >- _ -<interactive>:1:7: error: +<interactive>:1:7: error: [GHC-66043] Arrow command found where an expression was expected: () -< _ -<interactive>:1:13: error: +<interactive>:1:13: error: [GHC-66043] Arrow command found where an expression was expected: () >>- _ -<interactive>:1:20: error: +<interactive>:1:20: error: [GHC-66043] Arrow command found where an expression was expected: () -<< () -<interactive>:8:15: error: +<interactive>:8:15: error: [GHC-83865] • Couldn't match expected type ‘()’ with actual type ‘Bool’ • In the pattern: True In a stmt of a pattern guard for @@ -23,23 +23,23 @@ True <- () In an equation for ‘fun’: fun foo | True <- () = () -<interactive>:1:1: error: +<interactive>:1:1: error: [GHC-66043] Arrow command found where an expression was expected: () ⤚ _ -<interactive>:1:7: error: +<interactive>:1:7: error: [GHC-66043] Arrow command found where an expression was expected: () ⤙ _ -<interactive>:1:13: error: +<interactive>:1:13: error: [GHC-66043] Arrow command found where an expression was expected: () ⤜ _ -<interactive>:1:20: error: +<interactive>:1:20: error: [GHC-66043] Arrow command found where an expression was expected: () ⤛ () -<interactive>:15:15: error: +<interactive>:15:15: error: [GHC-83865] • Couldn't match expected type ‘()’ with actual type ‘Bool’ • In the pattern: True In a stmt of a pattern guard for @@ -47,23 +47,23 @@ True ← () In an equation for ‘fun’: fun foo | True ← () = () -<interactive>:1:1: error: +<interactive>:1:1: error: [GHC-66043] Arrow command found where an expression was expected: () >- _ -<interactive>:1:7: error: +<interactive>:1:7: error: [GHC-66043] Arrow command found where an expression was expected: () -< _ -<interactive>:1:13: error: +<interactive>:1:13: error: [GHC-66043] Arrow command found where an expression was expected: () >>- _ -<interactive>:1:20: error: +<interactive>:1:20: error: [GHC-66043] Arrow command found where an expression was expected: () -<< () -<interactive>:22:15: error: +<interactive>:22:15: error: [GHC-83865] • Couldn't match expected type ‘()’ with actual type ‘Bool’ • In the pattern: True In a stmt of a pattern guard for diff --git a/testsuite/tests/ghci/scripts/T8959b.stderr b/testsuite/tests/ghci/scripts/T8959b.stderr index 971261ba40..7878b4c15c 100644 --- a/testsuite/tests/ghci/scripts/T8959b.stderr +++ b/testsuite/tests/ghci/scripts/T8959b.stderr @@ -1,15 +1,15 @@ -T8959b.hs:5:7: error: +T8959b.hs:5:7: error: [GHC-83865] • Couldn't match expected type ‘Int → Int’ with actual type ‘()’ • In the expression: () In an equation for ‘foo’: foo = () -T8959b.hs:8:7: error: +T8959b.hs:8:7: error: [GHC-83865] • Couldn't match expected type ‘()’ with actual type ‘t0 → m0 t0’ • In the expression: proc x -> do return ⤙ x In an equation for ‘bar’: bar = proc x -> do return ⤙ x -T8959b.hs:10:7: error: +T8959b.hs:10:7: error: [GHC-83865] • Couldn't match expected type ‘(∀ a. a → a) → a1’ with actual type ‘()’ • In the expression: () ∷ (∀ a. a → a) → a diff --git a/testsuite/tests/ghci/scripts/T9140.stdout b/testsuite/tests/ghci/scripts/T9140.stdout index 584803afbc..dbaa905b6f 100644 --- a/testsuite/tests/ghci/scripts/T9140.stdout +++ b/testsuite/tests/ghci/scripts/T9140.stdout @@ -1,9 +1,9 @@ -<interactive>:2:5: error: +<interactive>:2:5: error: [GHC-20036] You can't mix polymorphic and unlifted bindings: a = (# 1 #) Suggested fix: Add a type signature. -<interactive>:3:5: error: +<interactive>:3:5: error: [GHC-20036] You can't mix polymorphic and unlifted bindings: a = (# 1, 3 #) Suggested fix: Add a type signature. diff --git a/testsuite/tests/ghci/scripts/ghci022.stderr b/testsuite/tests/ghci/scripts/ghci022.stderr index 138460c99f..46376f1ca6 100644 --- a/testsuite/tests/ghci/scripts/ghci022.stderr +++ b/testsuite/tests/ghci/scripts/ghci022.stderr @@ -1,3 +1,3 @@ -ghci022.hs:2:6: +ghci022.hs:2:6: error: [GHC-21231] lexical error in string/character literal at character '\n' diff --git a/testsuite/tests/ghci/scripts/ghci036.stderr b/testsuite/tests/ghci/scripts/ghci036.stderr index 482fac7e62..0f15f7a2a2 100644 --- a/testsuite/tests/ghci/scripts/ghci036.stderr +++ b/testsuite/tests/ghci/scripts/ghci036.stderr @@ -1,18 +1,18 @@ -<interactive>:1:1: error: Variable not in scope: nubBy +<interactive>:1:1: error: [GHC-88464] Variable not in scope: nubBy -<interactive>:1:1: error: Variable not in scope: nub +<interactive>:1:1: error: [GHC-88464] Variable not in scope: nub -<interactive>:1:1: error: Variable not in scope: nubBy +<interactive>:1:1: error: [GHC-88464] Variable not in scope: nubBy -<interactive>:1:1: error: Variable not in scope: nub +<interactive>:1:1: error: [GHC-88464] Variable not in scope: nub -<interactive>:1:1: error: +<interactive>:1:1: error: [GHC-88464] Variable not in scope: nub Suggested fix: Perhaps use ‘L.nub’ (imported from Data.List) -<interactive>:1:1: error: +<interactive>:1:1: error: [GHC-76037] Not in scope: ‘L.nub’ NB: no module named ‘L’ is imported. -<interactive>:1:1: error: Variable not in scope: nub +<interactive>:1:1: error: [GHC-88464] Variable not in scope: nub diff --git a/testsuite/tests/ghci/scripts/ghci038.stderr b/testsuite/tests/ghci/scripts/ghci038.stderr index ebd699a68f..c5009d2302 100644 --- a/testsuite/tests/ghci/scripts/ghci038.stderr +++ b/testsuite/tests/ghci/scripts/ghci038.stderr @@ -1,4 +1,4 @@ -<interactive>:1:1: error: Variable not in scope: map +<interactive>:1:1: error: [GHC-88464] Variable not in scope: map -<interactive>:1:1: error: Variable not in scope: x +<interactive>:1:1: error: [GHC-88464] Variable not in scope: x diff --git a/testsuite/tests/ghci/scripts/ghci044.stderr b/testsuite/tests/ghci/scripts/ghci044.stderr index 668388dea8..a066fed1f8 100644 --- a/testsuite/tests/ghci/scripts/ghci044.stderr +++ b/testsuite/tests/ghci/scripts/ghci044.stderr @@ -1,5 +1,5 @@ -<interactive>:9:1: error: +<interactive>:9:1: error: [GHC-43085] • Overlapping instances for C [Int] arising from a use of ‘f’ Matching instances: instance [safe] C a => C [a] -- Defined at <interactive>:8:10 diff --git a/testsuite/tests/ghci/scripts/ghci046.stderr b/testsuite/tests/ghci/scripts/ghci046.stderr index e6a2bd0bfd..c31102b152 100644 --- a/testsuite/tests/ghci/scripts/ghci046.stderr +++ b/testsuite/tests/ghci/scripts/ghci046.stderr @@ -1,5 +1,5 @@ -<interactive>:7:15: error: +<interactive>:7:15: error: [GHC-34447] Conflicting family instance declarations: AND HTrue HTrue = HTrue -- Defined at <interactive>:7:15 AND HTrue HTrue = HFalse -- Defined at <interactive>:20:15 diff --git a/testsuite/tests/ghci/scripts/ghci047.stderr b/testsuite/tests/ghci/scripts/ghci047.stderr index 90a9bb7c60..9a4efc1890 100644 --- a/testsuite/tests/ghci/scripts/ghci047.stderr +++ b/testsuite/tests/ghci/scripts/ghci047.stderr @@ -1,12 +1,12 @@ -<interactive>:40:1: error: +<interactive>:40:1: error: [GHC-18872] • Couldn't match type ‘HFalse’ with ‘HTrue’ arising from a use of ‘f’ • In the first argument of ‘($)’, namely ‘f’ In the expression: f $ Baz 'a' In an equation for ‘it’: it = f $ Baz 'a' -<interactive>:41:1: error: +<interactive>:41:1: error: [GHC-18872] • Couldn't match type ‘HFalse’ with ‘HTrue’ arising from a use of ‘f’ • In the first argument of ‘($)’, namely ‘f’ diff --git a/testsuite/tests/ghci/scripts/ghci050.stderr b/testsuite/tests/ghci/scripts/ghci050.stderr index 25a0507199..9e58fcdc50 100644 --- a/testsuite/tests/ghci/scripts/ghci050.stderr +++ b/testsuite/tests/ghci/scripts/ghci050.stderr @@ -1,5 +1,5 @@ -<interactive>:6:49: error: +<interactive>:6:49: error: [GHC-25897] • Couldn't match expected type ‘ListableElem (a, a)’ with actual type ‘a’ ‘a’ is a rigid type variable bound by diff --git a/testsuite/tests/ghci/scripts/ghci051.stderr b/testsuite/tests/ghci/scripts/ghci051.stderr index 9407837580..cbbc9e0539 100644 --- a/testsuite/tests/ghci/scripts/ghci051.stderr +++ b/testsuite/tests/ghci/scripts/ghci051.stderr @@ -1,5 +1,5 @@ -<interactive>:6:9: error: +<interactive>:6:9: error: [GHC-83865] • Couldn't match type ‘T’ with ‘Ghci1.T’ Expected: T' Actual: T diff --git a/testsuite/tests/ghci/scripts/ghci052.stderr b/testsuite/tests/ghci/scripts/ghci052.stderr index 047ab5e966..1cdd559775 100644 --- a/testsuite/tests/ghci/scripts/ghci052.stderr +++ b/testsuite/tests/ghci/scripts/ghci052.stderr @@ -1,5 +1,5 @@ -<interactive>:8:4: error: +<interactive>:8:4: error: [GHC-83865] • Couldn't match expected type ‘Ghci1.Planet’ with actual type ‘Planet’ NB: ‘Ghci1.Planet’ is defined at <interactive>:4:1-37 @@ -8,7 +8,7 @@ In the expression: pn Mercury In an equation for ‘it’: it = pn Mercury -<interactive>:9:4: error: +<interactive>:9:4: error: [GHC-83865] • Couldn't match expected type ‘Ghci1.Planet’ with actual type ‘Planet’ NB: ‘Ghci1.Planet’ is defined at <interactive>:4:1-37 @@ -17,7 +17,7 @@ In the expression: pn Venus In an equation for ‘it’: it = pn Venus -<interactive>:10:4: error: +<interactive>:10:4: error: [GHC-83865] • Couldn't match expected type ‘Ghci1.Planet’ with actual type ‘Planet’ NB: ‘Ghci1.Planet’ is defined at <interactive>:4:1-37 @@ -26,7 +26,7 @@ In the expression: pn Mars In an equation for ‘it’: it = pn Mars -<interactive>:12:44: error: +<interactive>:12:44: error: [GHC-83865] • Couldn't match expected type ‘Planet’ with actual type ‘Ghci1.Planet’ NB: ‘Planet’ is defined at <interactive>:7:1-36 diff --git a/testsuite/tests/ghci/scripts/ghci053.stderr b/testsuite/tests/ghci/scripts/ghci053.stderr index d2cd0a6a68..7cf1a64b88 100644 --- a/testsuite/tests/ghci/scripts/ghci053.stderr +++ b/testsuite/tests/ghci/scripts/ghci053.stderr @@ -1,5 +1,5 @@ -<interactive>:9:12: error: +<interactive>:9:12: error: [GHC-83865] • Couldn't match expected type ‘Ghci1.Planet’ with actual type ‘Planet’ NB: ‘Ghci1.Planet’ is defined at <interactive>:4:1-49 @@ -8,7 +8,7 @@ In the expression: mercury == Mercury In an equation for ‘it’: it = mercury == Mercury -<interactive>:11:10: error: +<interactive>:11:10: error: [GHC-83865] • Couldn't match expected type ‘Planet’ with actual type ‘Ghci1.Planet’ NB: ‘Planet’ is defined at <interactive>:7:1-41 diff --git a/testsuite/tests/ghci/scripts/ghci061.stderr b/testsuite/tests/ghci/scripts/ghci061.stderr index 27dac2cb77..74f701f0e0 100644 --- a/testsuite/tests/ghci/scripts/ghci061.stderr +++ b/testsuite/tests/ghci/scripts/ghci061.stderr @@ -1,5 +1,5 @@ -<interactive>:1:2: error: +<interactive>:1:2: error: [GHC-83865] • Couldn't match type: IO String with: Int -> IO String Expected: [String] -> Int -> IO String @@ -8,7 +8,7 @@ In an equation for ‘_compileParsedExpr’: _compileParsedExpr = (two_args) :: [String] -> Int -> IO String -<interactive>:1:2: error: +<interactive>:1:2: error: [GHC-83865] • Couldn't match type: IO String with: Int -> IO String Expected: [String] -> Int -> IO String diff --git a/testsuite/tests/ghci/scripts/ghci063.stderr b/testsuite/tests/ghci/scripts/ghci063.stderr index cc357499a2..2c3fcd8aeb 100644 --- a/testsuite/tests/ghci/scripts/ghci063.stderr +++ b/testsuite/tests/ghci/scripts/ghci063.stderr @@ -1,2 +1,2 @@ -B.hs:1:1: error: parse error on input ‘***’ +B.hs:1:1: error: [GHC-58481] parse error on input ‘***’ diff --git a/testsuite/tests/ghci/should_fail/T16287.stderr b/testsuite/tests/ghci/should_fail/T16287.stderr index df162c1b1b..cadd4e3d40 100644 --- a/testsuite/tests/ghci/should_fail/T16287.stderr +++ b/testsuite/tests/ghci/should_fail/T16287.stderr @@ -2,7 +2,7 @@ <interactive>:1:1: error: The type synonym ‘F1’ should have 1 argument, but has been given none -<interactive>:1:4: error: +<interactive>:1:4: error: [GHC-91028] • Expected kind ‘forall k. k’, but ‘F2’ has kind ‘k0’ Cannot instantiate unification variable ‘k0’ with a kind involving polytypes: forall k. k @@ -12,7 +12,7 @@ <interactive>:1:1: error: The type synonym ‘F1’ should have 1 argument, but has been given none -<interactive>:1:11: error: +<interactive>:1:11: error: [GHC-91028] • Expected kind ‘forall k. k’, but ‘F2’ has kind ‘k0’ Cannot instantiate unification variable ‘k0’ with a kind involving polytypes: forall k. k diff --git a/testsuite/tests/ghci/should_run/T15007.stderr b/testsuite/tests/ghci/should_run/T15007.stderr index 4a54f43e89..70967e4d00 100644 --- a/testsuite/tests/ghci/should_run/T15007.stderr +++ b/testsuite/tests/ghci/should_run/T15007.stderr @@ -1,5 +1,5 @@ -<interactive>:3:1: error: +<interactive>:3:1: error: [GHC-88464] • Found hole: _ :: p Where: ‘p’ is a rigid type variable bound by the inferred type of it :: p diff --git a/testsuite/tests/ghci/should_run/T15806.stderr b/testsuite/tests/ghci/should_run/T15806.stderr index 2c9bc177fd..f96c14f20f 100644 --- a/testsuite/tests/ghci/should_run/T15806.stderr +++ b/testsuite/tests/ghci/should_run/T15806.stderr @@ -1,4 +1,4 @@ -<interactive>:1:1: error: +<interactive>:1:1: error: [GHC-91510] Illegal polymorphic type: forall a. a -> a Suggested fix: Perhaps you intended to use ImpredicativeTypes diff --git a/testsuite/tests/ghci/should_run/T7253.stderr b/testsuite/tests/ghci/should_run/T7253.stderr index 17a3393ac8..5478ad817f 100644 --- a/testsuite/tests/ghci/should_run/T7253.stderr +++ b/testsuite/tests/ghci/should_run/T7253.stderr @@ -1,5 +1,5 @@ -<interactive>:19:1: warning: [-Wunrecognised-pragmas (in -Wdefault)] +<interactive>:19:1: warning: [GHC-42044] [-Wunrecognised-pragmas (in -Wdefault)] Unrecognised pragma: FOO <interactive>:61:1: error: |