Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / T7293.stderr
1 \r
2 T7293.hs:24:5:\r
3     Couldn't match type ‘'True’ with ‘'False’\r
4     Inaccessible code in\r
5       a pattern with constructor: Nil :: forall a. Vec a 'Zero,\r
6       in an equation for ‘nth’\r
7     In the pattern: Nil\r
8     In an equation for ‘nth’: nth Nil _ = undefined\r