Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / T8392a.stderr
1
2 T8392a.hs:11:1: warning: [-Woverlapping-patterns (in -Wdefault)]
3     Pattern match is redundant
4     In an equation for ‘foo’: foo x = ...