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.stderr2
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T6129.stderr b/testsuite/tests/polykinds/T6129.stderr
index 36b749680b..451d851c5d 100644
--- a/testsuite/tests/polykinds/T6129.stderr
+++ b/testsuite/tests/polykinds/T6129.stderr
@@ -2,6 +2,6 @@
T6129.hs:12:11:
Data constructor ‘DInt’ cannot be used here
(it comes from a data family instance)
+ In the first argument of ‘X’, namely ‘DInt’
In the type ‘X DInt’
In the definition of data constructor ‘X1’
- In the data declaration for ‘X’