summaryrefslogtreecommitdiff
path: root/testsuite/tests/roles/should_fail/Roles5.stderr
blob: cb79845a55916b769c3a93b5a177d4967914c31a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14

Roles5.hs:7:1:
    Illegal role annotation for T;
    did you intend to use RoleAnnotations?
    while checking a role annotation for ‘T’

Roles5.hs:8:1:
    Illegal role annotation for C;
    did you intend to use RoleAnnotations?
    while checking a role annotation for ‘C’

Roles5.hs:9:1:
    Illegal role annotation for S;
    they are allowed only for datatypes and classes.