blob: a6ed65e6774b7b2f48f70bb09ba5e6f8f0639043 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T18572.hs:12:1: warning: [-Winaccessible-code (in -Wdefault)]
• Couldn't match type ‘'False’ with ‘'True’
Inaccessible code in
a pattern with constructor: STrue :: SBool 'True,
in a pattern binding
• In the pattern: STrue
In a pattern binding: STrue = SFalse
T18572.hs:12:1: warning: [-Wincomplete-uni-patterns (in -Wall)]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘SBool 'False’ not matched: SFalse
T18572.hs:12:1: warning: [-Woverlapping-patterns (in -Wdefault)]
Pattern match is redundant
In a pattern binding: STrue = ...
|
