Role annotations does not allow the use of parenthesis
There is an inconsistency in roles/kinds annotations wrt parenthesis.
For example, the following code compiles just fine
data A (a::*) = Aunlike this code
data A (a@R) = Awhich results in a compilation error:
Unexpected type a@R' where type variable expected In the declaration of A (a@R)'
As Austin Seipp has pointed out, it boils down to simply: 'data A (a) = A'
This also prompts for further discussion about role annotations in presence of kind annotations [1]. For example, should '((a :: *)@R)' be a correct annotation?
Related (?) ticket: #8185 (closed)
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.7 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler (Parser) |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |