Merge branch 'master' of https://github.com/ghc/testsuite
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail001.stderr
1
2 tcfail001.hs:9:2:
3     Couldn't match expected type `[t0] -> [a0]' with actual type `[a]'
4     Relevant bindings include op :: [a] (bound at tcfail001.hs:9:2)
5     The equation(s) for `op' have one argument,
6     but its type `[a]' has none
7     In the instance declaration for `A [a]'