diff options
Diffstat (limited to 'testsuite/tests/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/T5716.stderr | 10 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T7433.stderr | 10 |
2 files changed, 10 insertions, 10 deletions
diff --git a/testsuite/tests/polykinds/T5716.stderr b/testsuite/tests/polykinds/T5716.stderr index d85166b0bb..0e3596da32 100644 --- a/testsuite/tests/polykinds/T5716.stderr +++ b/testsuite/tests/polykinds/T5716.stderr @@ -1,7 +1,7 @@ T5716.hs:13:33: error: - Data constructor ‘U1’ cannot be used here - (Perhaps you intended to use TypeInType) - In the first argument of ‘I’, namely ‘(U1 DFInt)’ - In the type ‘I (U1 DFInt)’ - In the definition of data constructor ‘I1’ + • Data constructor ‘U1’ cannot be used here + (perhaps you intended to use TypeInType) + • In the first argument of ‘I’, namely ‘(U1 DFInt)’ + In the type ‘I (U1 DFInt)’ + In the definition of data constructor ‘I1’ diff --git a/testsuite/tests/polykinds/T7433.stderr b/testsuite/tests/polykinds/T7433.stderr index 1cd2ad2f29..4dce12a653 100644 --- a/testsuite/tests/polykinds/T7433.stderr +++ b/testsuite/tests/polykinds/T7433.stderr @@ -1,6 +1,6 @@ -T7433.hs:2:10: - Data constructor ‘Z’ cannot be used here - (Perhaps you intended to use DataKinds) - In the type ‘ 'Z’ - In the type declaration for ‘T’ +T7433.hs:2:10: error: + • Data constructor ‘Z’ cannot be used here + (perhaps you intended to use DataKinds) + • In the type ‘ 'Z’ + In the type declaration for ‘T’ |