blob: 22f66f466771a53006710f04b4f0ce68fa1d277a (
plain)
1
2
3
4
5
6
7
8
9
10
|
Roles8.hs:7:1:
Duplicate role annotations for ‛T1’:
type role T1 nominal -- written at Roles8.hs:7:1-20
type role T1 nominal -- written at Roles8.hs:8:1-20
Roles8.hs:12:1:
Duplicate role annotations for ‛T2’:
type role T2 representational -- written at Roles8.hs:12:1-29
type role T2 phantom -- written at Roles8.hs:13:1-20
|
