blob: 3cca04d2a60d4e8ba27cf7707e65adfe6ed523bb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
Roles6.hs:5:1:
Role mismatch on variable a:
Annotation says nominal but role representational is required
In the data declaration for ‛Foo’
Roles6.hs:5:1:
Role mismatch on variable b:
Annotation says representational but role nominal is required
In the data declaration for ‛Foo’
Roles6.hs:7:1:
Wrong number of roles listed in role annotation;
Expected 2, got 3:
type role Foo nominal representational phantom
|
