More specific error messages for annotations (fixes #19740)

3 files changed, 10 insertions, 10 deletions

diff --git a/testsuite/tests/annotations/should_fail/annfail01.stderr b/testsuite/tests/annotations/should_fail/annfail01.stderr
index f3f5a75740..0aa033fe43 100644
--- a/testsuite/tests/annotations/should_fail/annfail01.stderr
+++ b/testsuite/tests/annotations/should_fail/annfail01.stderr
@@ -1,8 +1,9 @@
 
 annfail01.hs:4:14:
-    Not in scope: type constructor or class ‘Foo’
+    No top-level binding for
+      type constructor or class ‘Foo’ in this module
     In the annotation: {-# ANN type Foo (1 :: Int) #-}
 
 annfail01.hs:5:9:
-    Not in scope: ‘f’
+    No top-level binding for ‘f’ in this module
     In the annotation: {-# ANN f (1 :: Int) #-}
diff --git a/testsuite/tests/annotations/should_fail/annfail02.stderr b/testsuite/tests/annotations/should_fail/annfail02.stderr
index 0b1e556739..3c29ec743f 100644
--- a/testsuite/tests/annotations/should_fail/annfail02.stderr
+++ b/testsuite/tests/annotations/should_fail/annfail02.stderr
@@ -1,8 +1,10 @@
 
 annfail02.hs:6:9:
-    Not in scope: data constructor ‘Foo’
+    No top-level binding for
+      data constructor ‘Foo’ in this module
     In the annotation: {-# ANN Foo (1 :: Int) #-}
 
 annfail02.hs:7:14:
-    Not in scope: type constructor or class ‘Bar’
+    No top-level binding for
+      type constructor or class ‘Bar’ in this module
     In the annotation: {-# ANN type Bar (2 :: Int) #-}
diff --git a/testsuite/tests/annotations/should_fail/annfail11.stderr b/testsuite/tests/annotations/should_fail/annfail11.stderr
index a1c2e3fd24..d110fdda29 100644
--- a/testsuite/tests/annotations/should_fail/annfail11.stderr
+++ b/testsuite/tests/annotations/should_fail/annfail11.stderr
@@ -1,14 +1,11 @@
 
 annfail11.hs:3:9: error:
-    Not in scope: ‘length’
-    Perhaps you want to add ‘length’ to the import list
-    in the import of ‘Prelude’ (annfail11.hs:1:8-16).
+    No top-level binding for ‘length’ in this module
     In the annotation:
       {-# ANN length "Cannot annotate other modules yet" #-}
 
 annfail11.hs:4:14: error:
-    Not in scope: type constructor or class ‘Integer’
-    Perhaps you want to add ‘Integer’ to the import list
-    in the import of ‘Prelude’ (annfail11.hs:1:8-16).
+    No top-level binding for
+      type constructor or class ‘Integer’ in this module
     In the annotation:
       {-# ANN type Integer "Cannot annotate other modules yet" #-}