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

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