blob: 7fa14f7127592d3c7f64a70f01cb0f16feed0cef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
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: [-Woverlapping-patterns (in -Wdefault)]
Pattern match is redundant
In a pattern binding: STrue = ...
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
|