testsuite/tests/typecheck/should_fail/tcfail182.stderr


1
2
3
4
5
6
7
8


tcfail182.hs:9:3:
    Couldn't match expected type `Prelude.Maybe a'
                with actual type `Maybe t0'
    Relevant bindings include
      f :: Prelude.Maybe a -> Int (bound at tcfail182.hs:9:1)
    In the pattern: Foo
    In an equation for `f': f Foo = 3