tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail012.stderr
1
2 tcfail012.hs:3:8: error:
3     • Couldn't match expected type ‘Bool’ with actual type ‘[a0]’
4     • In the expression: []
5       In a pattern binding: True = []