diff options
Diffstat (limited to 'testsuite/tests/polykinds/T5716.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T5716.stderr | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/testsuite/tests/polykinds/T5716.stderr b/testsuite/tests/polykinds/T5716.stderr index 227a6b88c6..8bc8883daf 100644 --- a/testsuite/tests/polykinds/T5716.stderr +++ b/testsuite/tests/polykinds/T5716.stderr @@ -1,4 +1,7 @@ -T5716.hs:13:11: - ‘U’ of kind ‘*’ is not promotable - In the kind ‘U -> *’ +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’ |