blob: b5e4e56f35f16638d0110fd8c32b3af567ae6af2 (
plain)
1
2
3
4
5
6
7
8
9
|
T7294.hs:25:5: Warning:
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
|