diff options
Diffstat (limited to 'testsuite/tests/gadt/T7294.stderr')
| -rw-r--r-- | testsuite/tests/gadt/T7294.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/gadt/T7294.stderr b/testsuite/tests/gadt/T7294.stderr index dc1eef1ca9..bfb64966fc 100644 --- a/testsuite/tests/gadt/T7294.stderr +++ b/testsuite/tests/gadt/T7294.stderr @@ -1,9 +1,9 @@ T7294.hs:25:5: Warning: - Couldn't match type 'False with 'True + Couldn't match type ‛'False’ with ‛'True’ Inaccessible code in a pattern with constructor Nil :: forall a. Vec a 'Zero, - in an equation for `nth' + in an equation for ‛nth’ In the pattern: Nil - In an equation for `nth': nth Nil _ = undefined + In an equation for ‛nth’: nth Nil _ = undefined |