diff options
Diffstat (limited to 'testsuite/tests/polykinds/T5716.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T5716.stderr | 10 |
1 files changed, 5 insertions, 5 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’ |