Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail182.stderr
1
2 tcfail182.hs:9:3: error:
3     • Couldn't match expected type ‘Prelude.Maybe a’
4                   with actual type ‘Maybe a0’
5       NB: ‘Maybe’ is defined at tcfail182.hs:6:1-18
6           ‘Prelude.Maybe’ is defined in ‘GHC.Base’ in package ‘base-4.9.0.0’
7     • In the pattern: Foo
8       In an equation for ‘f’: f Foo = 3
9     • Relevant bindings include
10         f :: Prelude.Maybe a -> Int (bound at tcfail182.hs:9:1)