summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghci/scripts')
-rw-r--r--testsuite/tests/ghci/scripts/Defer02.stderr40
-rw-r--r--testsuite/tests/ghci/scripts/StaticPtr.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T10248.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T10249.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T10508.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T10963.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T11606.stderr6
-rw-r--r--testsuite/tests/ghci/scripts/T13202.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T13202a.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T13466.stderr3
-rw-r--r--testsuite/tests/ghci/scripts/T14969.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T15259.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T15325.stderr6
-rw-r--r--testsuite/tests/ghci/scripts/T15898.stderr8
-rw-r--r--testsuite/tests/ghci/scripts/T16376.stderr4
-rw-r--r--testsuite/tests/ghci/scripts/T17549.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T19158.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T19197.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T20455.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T21110.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T2182ghci.stderr10
-rw-r--r--testsuite/tests/ghci/scripts/T2182ghci2.stderr4
-rw-r--r--testsuite/tests/ghci/scripts/T2452.stderr4
-rw-r--r--testsuite/tests/ghci/scripts/T2816.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T3263.stderr5
-rw-r--r--testsuite/tests/ghci/scripts/T5564.stderr4
-rw-r--r--testsuite/tests/ghci/scripts/T6018ghcifail.stderr40
-rw-r--r--testsuite/tests/ghci/scripts/T6018ghcirnfail.stderr44
-rw-r--r--testsuite/tests/ghci/scripts/T7627b.stderr8
-rw-r--r--testsuite/tests/ghci/scripts/T7873.stderr3
-rw-r--r--testsuite/tests/ghci/scripts/T8353.stderr20
-rw-r--r--testsuite/tests/ghci/scripts/T8485.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T8639.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T8649.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/T8959.stderr30
-rw-r--r--testsuite/tests/ghci/scripts/T8959b.stderr6
-rw-r--r--testsuite/tests/ghci/scripts/T9140.stdout4
-rw-r--r--testsuite/tests/ghci/scripts/ghci022.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/ghci036.stderr14
-rw-r--r--testsuite/tests/ghci/scripts/ghci038.stderr4
-rw-r--r--testsuite/tests/ghci/scripts/ghci044.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/ghci046.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/ghci047.stderr4
-rw-r--r--testsuite/tests/ghci/scripts/ghci050.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/ghci051.stderr2
-rw-r--r--testsuite/tests/ghci/scripts/ghci052.stderr8
-rw-r--r--testsuite/tests/ghci/scripts/ghci053.stderr4
-rw-r--r--testsuite/tests/ghci/scripts/ghci061.stderr4
-rw-r--r--testsuite/tests/ghci/scripts/ghci063.stderr2
49 files changed, 171 insertions, 164 deletions
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 ‘***’