blob: 63b3e0e3ef6be60d8c4d43cd8a0e59d47b6c9979 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T7294.hs:25:1: warning: [-Woverlapping-patterns (in -Wdefault)]
Pattern match is redundant
In an equation for ‘nth’: nth Nil _ = ...
T7294.hs:25:5: warning: [-Winaccessible-code (in -Wdefault)]
• Couldn't match type ‘'True’ with ‘'False’
Inaccessible code in
a pattern with constructor: Nil :: forall a. Vec a 'Zero,
in an equation for ‘nth’
• In the pattern: Nil
In an equation for ‘nth’: nth Nil _ = undefined
|
