Split up coercionKind
[ghc.git] / testsuite / tests / typecheck / should_run / T9497a-run.stderr
index ad3a927..6461d98 100644 (file)
@@ -5,16 +5,14 @@ T9497a-run: T9497a-run.hs:2:8: error:
       In an equation for ‘main’: main = _main
     • Relevant bindings include
         main :: IO () (bound at T9497a-run.hs:2:1)
-      Valid substitutions include
-        mempty :: forall a. Monoid a => a
-          (imported from ‘Prelude’ at T9497a-run.hs:1:1
-           (and originally defined in ‘GHC.Base’))
+      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’))
-        undefined :: forall (a :: TYPE r).
-                     GHC.Stack.Types.HasCallStack =>
-                     a
+        mempty :: forall a. Monoid a => a
+          with mempty @(IO ())
           (imported from ‘Prelude’ at T9497a-run.hs:1:1
-           (and originally defined in ‘GHC.Err’))
+           (and originally defined in ‘GHC.Base’))
 (deferred type error)