Major Overhaul of Pattern Match Checking (Fixes #595)
[ghc.git] / testsuite / tests / gadt / T7294.stderr
1 \r
2 T7294.hs:23:1: warning:\r
3     Pattern match(es) are redundant\r
4     In an equation for ‘nth’: nth Nil _ = ...\r
5 \r
6 T7294.hs:25:5: Warning:\r
7     Couldn't match type ‘'True’ with ‘'False’\r
8     Inaccessible code in\r
9       a pattern with constructor: Nil :: forall a. Vec a 'Zero,\r
10       in an equation for ‘nth’\r
11     In the pattern: Nil\r
12     In an equation for ‘nth’: nth Nil _ = undefined\r