Construction Type's Syntax

[Martin Meyer]

Hello Thomas and all,

this code throws a syntax error (in VIP 7502):

Code: Select all

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 here
end 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?

Regards,
Martin

[Thomas Linder Puls]

It will not be allowed in the next version. And I don't know about the future.

Notice however that you can define and interface instead of a domain:

Code: Select all

interface special supports general{unsigned}
end interface special

And use that in specialClass:

Code: Select all

class specialClass : special
end class specialClass

[Martin Meyer]

Thanks Thomas for the info!

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.

Regards,
Martin

[Thomas Linder Puls]

True, and if that difference is significant to you the it will not work.