blob: 32eade4ce0be15f55056cdabee0ae0bf7db42852 (
plain)
1
2
3
4
5
6
7
8
|
T14141.hs:27:1: warning: [-Woverlapping-patterns (in -Wdefault)]
Pattern match has inaccessible right hand side
In an equation for ‘f’: f MkD = ...
T14141.hs:42:1: warning: [-Woverlapping-patterns (in -Wdefault)]
Pattern match is redundant
In an equation for ‘exhaustive’: exhaustive B = ...
|
