summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T5716.stderr
blob: 227a6b88c6b7152b5ce103aa5797ffa028cfc021 (plain)
1
2
3
4

T5716.hs:13:11:
    ‘U’ of kind ‘*’ is not promotable
    In the kind ‘U -> *’