summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T6129.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/polykinds/T6129.stderr')
-rw-r--r--testsuite/tests/polykinds/T6129.stderr8
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/polykinds/T6129.stderr b/testsuite/tests/polykinds/T6129.stderr
index 9b8d66f202..36b749680b 100644
--- a/testsuite/tests/polykinds/T6129.stderr
+++ b/testsuite/tests/polykinds/T6129.stderr
@@ -1,7 +1,7 @@
T6129.hs:12:11:
- Data constructor ‛DInt’ cannot be used here
+ Data constructor ‘DInt’ cannot be used here
(it comes from a data family instance)
- In the type ‛X DInt’
- In the definition of data constructor ‛X1’
- In the data declaration for ‛X’
+ In the type ‘X DInt’
+ In the definition of data constructor ‘X1’
+ In the data declaration for ‘X’