diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/T9497a.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T9497a.stderr | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T9497a.stderr b/testsuite/tests/typecheck/should_compile/T9497a.stderr index ddbb5b93f6..413aad24b6 100644 --- a/testsuite/tests/typecheck/should_compile/T9497a.stderr +++ b/testsuite/tests/typecheck/should_compile/T9497a.stderr @@ -5,3 +5,15 @@ T9497a.hs:2:8: warning: [-Wtyped-holes (in -Wdefault)] • In the expression: _main In an equation for ‘main’: main = _main • Relevant bindings include main :: IO () (bound at T9497a.hs:2:1) + Valid substitutions include + mempty :: forall a. Monoid a => a + (imported from ‘Prelude’ at T9497a.hs:1:1 + (and originally defined in ‘GHC.Base’)) + readLn :: forall a. Read a => IO a + (imported from ‘Prelude’ at T9497a.hs:1:1 + (and originally defined in ‘System.IO’)) + undefined :: forall (a :: TYPE r). + GHC.Stack.Types.HasCallStack => + a + (imported from ‘Prelude’ at T9497a.hs:1:1 + (and originally defined in ‘GHC.Err’)) |