You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In particular, a type check error is raised: "Invalid enumeration constant VisibilityKind".
Speculation: This might be related to the quirk that NamedElement::visibility is typed by the EDataType NamedElementVisibility; while VisibilityKind is merely the implementation class of the latter. Maybe this is what confuses the type checker (in which case it may be a Viatra issue that should be solved in general, not just for V4MD).
The text was updated successfully, but these errors were encountered:
The following piece of VQL code compiles:
The following, however, does not:
In particular, a type check error is raised: "Invalid enumeration constant VisibilityKind".
Speculation: This might be related to the quirk that
NamedElement::visibility
is typed by the EDataTypeNamedElementVisibility
; whileVisibilityKind
is merely the implementation class of the latter. Maybe this is what confuses the type checker (in which case it may be a Viatra issue that should be solved in general, not just for V4MD).The text was updated successfully, but these errors were encountered: