interface general{@Type}domains
useType = @Type.
end interface general
interface myDomains
domains
special = general{unsigned}.
end interface myDomains
class specialClass :myDomains::special%the error is hereend class specialClass
implement specialClass
end implement specialClass
However when replacing myDomains::special by general{unsigned} it works fine.
Is there a reason, why myDomains::special cannot be in the place of a construction type? Or could the above syntax be allowed in future VIP versions?
The interface special has a slightly different semantics than the type myDomains::special. The interface special is a subtype of general{unsigned}, while myDomains::special and general{unsigned} are synonym types.