summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail182.stderr
blob: 4103c3a0faa9f0786ed75668e36cf6327b3231f4 (plain)
1
2
3
4
5
6
7
8
9
10

tcfail182.hs:9:3: error:
    Couldn't match expected type ‘Prelude.Maybe a’
                with actual type ‘Maybe t0’
    NB: ‘Maybe’ is defined at tcfail182.hs:6:1-18
        ‘Prelude.Maybe’ is defined in ‘GHC.Base’ in package ‘base-4.9.0.0’
    In the pattern: Foo
    In an equation for ‘f’: f Foo = 3
    Relevant bindings include
      f :: Prelude.Maybe a -> Int (bound at tcfail182.hs:9:1)