Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail001.stderr
1
2 tcfail001.hs:9:2: error:
3     • Couldn't match expected type ‘[a]’
4                   with actual type ‘[a0] -> [a1]’
5     • The equation(s) for ‘op’ have one argument,
6       but its type ‘[a]’ has none
7       In the instance declaration for ‘A [a]’
8     • Relevant bindings include op :: [a] (bound at tcfail001.hs:9:2)