diff options
Diffstat (limited to 'testsuite/tests/polykinds/T6129.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T6129.stderr | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/polykinds/T6129.stderr b/testsuite/tests/polykinds/T6129.stderr index 10db12ef45..9b8d66f202 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
- (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'
+ +T6129.hs:12:11: + 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’ |