Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / Vta2.stderr
1
2 Vta2.hs:14:17: warning: [-Woverlapping-patterns (in -Wdefault)]
3     Pattern match is redundant
4     In a case alternative: False -> ...