More errors for duplicates

This commit is contained in:
James Westman 2023-05-17 10:25:25 -05:00
parent 2ca71de061
commit 6ac798ea6f
No known key found for this signature in database
GPG key ID: CE2DBA0ADB654EA6
13 changed files with 105 additions and 9 deletions

View file

@ -69,6 +69,12 @@ class MenuAttribute(AstNode):
def value_type(self) -> ValueTypeCtx:
return ValueTypeCtx(None)
@validate("name")
def unique(self):
self.validate_unique_in_parent(
f"Duplicate attribute '{self.name}'", lambda x: x.name == self.name
)
menu_child = AnyOf()