summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail161.stderr
blob: 89042d1d20284c1c3e199a885afb5a17b8ac0fbf (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13

tcfail161.hs:5:7: error:
    • Expecting one more argument to ‘Maybe’
      Expected a type, but ‘Maybe’ has kind ‘* -> *’
    • In the type signature: f :: [Maybe]

tcfail161.hs:6:1: error:
    • Couldn't match expected type ‘[Maybe]’
                  with actual type ‘p0 -> p0’
    • The equation(s) for ‘f’ have one argument,
      but its type ‘[Maybe]’ has none
    • Relevant bindings include
        f :: [Maybe] (bound at tcfail161.hs:6:1)