Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail069.stderr
1
2 tcfail069.hs:21:7: error:
3     • Couldn't match expected type ‘([Int], [Int])’
4                   with actual type ‘[a0]’
5     • In the pattern: []
6       In a case alternative: [] -> error "foo"
7       In the expression: case (list1, list2) of { [] -> error "foo" }