diff options
Diffstat (limited to 'testsuite/tests/gadt/T7293.stderr')
| -rw-r--r-- | testsuite/tests/gadt/T7293.stderr | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/testsuite/tests/gadt/T7293.stderr b/testsuite/tests/gadt/T7293.stderr index 35c02d5f90..40b8a04333 100644 --- a/testsuite/tests/gadt/T7293.stderr +++ b/testsuite/tests/gadt/T7293.stderr @@ -1,8 +1,8 @@ -
-T7293.hs:24:5:
- 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
+ +T7293.hs:24:5: error: + • 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 |