summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr')
-rw-r--r--testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr10
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr b/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr
index 504fbf5094..d6c07d7ba7 100644
--- a/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr
@@ -1,5 +1,5 @@
-TidyClash2.hs:13:20: error:
+TidyClash2.hs:13:20: error: [GHC-88464]
• Found type wildcard ‘_’ standing for ‘w1’
Where: ‘w1’ is a rigid type variable bound by
the inferred type of barry :: w1 -> w2 -> t
@@ -8,7 +8,7 @@ TidyClash2.hs:13:20: error:
• In the type ‘_ -> _ -> t’
In the type signature: barry :: forall t. _ -> _ -> t
-TidyClash2.hs:13:25: error:
+TidyClash2.hs:13:25: error: [GHC-88464]
• Found type wildcard ‘_’ standing for ‘w2’
Where: ‘w2’ is a rigid type variable bound by
the inferred type of barry :: w1 -> w2 -> t
@@ -17,7 +17,7 @@ TidyClash2.hs:13:25: error:
• In the type ‘_ -> _ -> t’
In the type signature: barry :: forall t. _ -> _ -> t
-TidyClash2.hs:14:13: error:
+TidyClash2.hs:14:13: error: [GHC-88464]
• Found type wildcard ‘_’ standing for ‘w1’
Where: ‘w1’ is a rigid type variable bound by
the inferred type of barry :: w1 -> w2 -> t
@@ -30,7 +30,7 @@ TidyClash2.hs:14:13: error:
• Relevant bindings include
barry :: w1 -> w2 -> t (bound at TidyClash2.hs:14:1)
-TidyClash2.hs:14:22: error:
+TidyClash2.hs:14:22: error: [GHC-88464]
• Found type wildcard ‘_’ standing for ‘w2’
Where: ‘w2’ is a rigid type variable bound by
the inferred type of barry :: w1 -> w2 -> t
@@ -44,7 +44,7 @@ TidyClash2.hs:14:22: error:
x :: w1 (bound at TidyClash2.hs:14:8)
barry :: w1 -> w2 -> t (bound at TidyClash2.hs:14:1)
-TidyClash2.hs:14:40: error:
+TidyClash2.hs:14:40: error: [GHC-88464]
• Found type wildcard ‘_’ standing for ‘w3’
Where: ‘w3’ is a rigid type variable bound by
the inferred type of <expression> :: w3