Fix typo in documentation of Base.hs.
[ghc.git] / testsuite / tests / gadt / T7293.stderr
1
2 T7293.hs:26:1: error: [-Woverlapping-patterns (in -Wdefault), -Werror=overlapping-patterns]
3     Pattern match is redundant
4     In an equation for ‘nth’: nth Nil _ = ...
5
6 T7293.hs:26:5: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessible-code]
7     • Couldn't match type ‘'True’ with ‘'False’
8       Inaccessible code in
9         a pattern with constructor: Nil :: forall a. Vec a 'Zero,
10         in an equation for ‘nth’
11     • In the pattern: Nil
12       In an equation for ‘nth’: nth Nil _ = undefined