diff options
Diffstat (limited to 'testsuite/tests/polykinds/T5716.stderr')
-rw-r--r-- | testsuite/tests/polykinds/T5716.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/polykinds/T5716.stderr b/testsuite/tests/polykinds/T5716.stderr index 165f32bd7e..f32e604c2c 100644 --- a/testsuite/tests/polykinds/T5716.stderr +++ b/testsuite/tests/polykinds/T5716.stderr @@ -1,4 +1,4 @@ -
-T5716.hs:13:11:
- `U' of kind `*' is not promotable
- In the kind `U -> *'
+ +T5716.hs:13:11: + ‛U’ of kind ‛*’ is not promotable + In the kind ‛U -> *’ |