Role annotations does not allow the use of parenthesis
|Reported by:||DaniilFrumin||Owned by:||goldfire|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||Blocked By:|
There is an inconsistency in roles/kinds annotations wrt parenthesis.
For example, the following code compiles just fine
data A (a::*) = A
unlike this code
data A (a@R) = A
which 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'
Related (?) ticket: #8185