Output of T7861 has changed

diff --git a/testsuite/tests/typecheck/should_run/T7861.stderr b/testsuite/tests/typecheck/should_run/T7861.stderr
index e44666d..4f2b623 100644 (file)
--- a/testsuite/tests/typecheck/should_run/T7861.stderr
+++ b/testsuite/tests/typecheck/should_run/T7861.stderr
@@ -1,9 +1,9 @@
 T7861: T7861.hs:11:5:
-    Couldn't match type ‛a’ with ‛[a0]’
+    Couldn't match type ‛a’ with ‛[a]’
       ‛a’ is a rigid type variable bound by
           the type signature for f :: A a -> a at T7861.hs:10:6
     Expected type: A a -> a
-      Actual type: A a0 -> [a0]
+      Actual type: A a -> [a]
     Relevant bindings include f :: A a -> a (bound at T7861.hs:11:1)
     In the expression: doA
     In an equation for ‛f’: f = doA