blob: e13bb888560f505b46eae8b1d28b0b7c872e07d1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
T17646.hs:11:1: warning: [GHC-62161] [-Wincomplete-patterns (in -Wextra)]
Pattern match(es) are non-exhaustive
In an equation for ‘g’: Guards do not cover entire pattern space
T17646.hs:11:5: warning: [GHC-40564] [-Winaccessible-code (in -Wdefault)]
• Inaccessible code in
a pattern with constructor: B :: T 'False,
in a pattern binding in
a pattern guard for
an equation for ‘g’
Couldn't match type ‘'True’ with ‘'False’
• In the pattern: B
In a stmt of a pattern guard for
an equation for ‘g’:
B <- A
In an equation for ‘g’: g | B <- A = ()
T17646.hs:11:5: warning: [GHC-53633] [-Woverlapping-patterns (in -Wdefault)]
Pattern match is redundant
In an equation for ‘g’: g | B <- A = ...
|