testsuite/tests/roles/should_fail/Roles5.stderr


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.