Elf: Fix link info note generation

[ghc.git] / testsuite / tests / typecheck / should_run / T9497a-run.stderr

diff --git a/testsuite/tests/typecheck/should_run/T9497a-run.stderr b/testsuite/tests/typecheck/should_run/T9497a-run.stderr
index aae24cf..6461d98 100644 (file)
--- a/testsuite/tests/typecheck/should_run/T9497a-run.stderr
+++ b/testsuite/tests/typecheck/should_run/T9497a-run.stderr
@@ -1,7 +1,18 @@
-T9497a-run: T9497a-run.hs:2:8:
-    Found hole ‘_main’ with type: IO ()
-    Relevant bindings include
-      main :: IO () (bound at T9497a-run.hs:2:1)
-    In the expression: _main
-    In an equation for ‘main’: main = _main
+T9497a-run: T9497a-run.hs:2:8: error:
+    • Found hole: _main :: IO ()
+      Or perhaps ‘_main’ is mis-spelled, or not in scope
+    • In the expression: _main
+      In an equation for ‘main’: main = _main
+    • Relevant bindings include
+        main :: IO () (bound at T9497a-run.hs:2:1)
+      Valid hole fits include
+        main :: IO () (bound at T9497a-run.hs:2:1)
+        readLn :: forall a. Read a => IO a
+          with readLn @()
+          (imported from ‘Prelude’ at T9497a-run.hs:1:1
+           (and originally defined in ‘System.IO’))
+        mempty :: forall a. Monoid a => a
+          with mempty @(IO ())
+          (imported from ‘Prelude’ at T9497a-run.hs:1:1
+           (and originally defined in ‘GHC.Base’))
 (deferred type error)