summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/T7294.stderr
blob: d7b53ee9e2bb05e14eb256a561a3bf0b06a59b82 (plain)
1
2
3
4
5
6
7
8
9
10
11
12

T7294.hs:27:1: warning: [-Woverlapping-patterns (in -Wdefault)]
    Pattern match is redundant
    In an equation for ‘nth’: nth Nil _ = ...

T7294.hs:27: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