summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/tc017.stderr
blob: 7e7dfc3b40adb380b0c1fb929f7e279fd0f94f43 (plain)
1
2
3
4

tc017.hs:4:5: warning: [-Woverlapping-patterns (in -Wdefault)]
    Pattern match is redundant
    In an equation for ā€˜vā€™: v | False = ...