diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_run/T9497c-run.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_run/T9497c-run.stderr | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_run/T9497c-run.stderr b/testsuite/tests/typecheck/should_run/T9497c-run.stderr index 4605857af5..8666900b4e 100644 --- a/testsuite/tests/typecheck/should_run/T9497c-run.stderr +++ b/testsuite/tests/typecheck/should_run/T9497c-run.stderr @@ -5,15 +5,14 @@ T9497c-run: T9497c-run.hs:2:8: error: In an equation for ‘main’: main = _main • Relevant bindings include main :: IO () (bound at T9497c-run.hs:2:1) - Valid substitutions include - main :: IO () (defined at T9497c-run.hs:2:1) + Valid hole fits include + main :: IO () (bound at T9497c-run.hs:2:1) readLn :: forall a. Read a => IO a + with readLn @() (imported from ‘Prelude’ at T9497c-run.hs:1:1 (and originally defined in ‘System.IO’)) mempty :: forall a. Monoid a => a + with mempty @(IO ()) (imported from ‘Prelude’ at T9497c-run.hs:1:1 (and originally defined in ‘GHC.Base’)) - undefined :: forall a. GHC.Stack.Types.HasCallStack => a - (imported from ‘Prelude’ at T9497c-run.hs:1:1 - (and originally defined in ‘GHC.Err’)) (deferred type error) |