table indexers can only appear once per table type (#21)

Co-authored-by: ariel <aaronweiss@roblox.com>
luau-lang · Feb 24, 2025 · 75d9b76 · 75d9b76
1 parent d852d00
commit 75d9b76
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/_pages/grammar.md b/_pages/grammar.md
@@ -99,10 +99,10 @@ TypePack = '(' [TypeList] ')'
 GenericTypePack = NAME '...'
 VariadicTypePack = '...' Type
 ReturnType = Type | TypePack | GenericTypePack | VariadicTypePack
-TableIndexer = '[' Type ']' ':' Type
-TableProp = NAME ':' Type
-TablePropOrIndexer = ['read' | 'write'] (TableProp | TableIndexer)
-PropList = TablePropOrIndexer {fieldsep TablePropOrIndexer} [fieldsep]
+TableIndexer = ['read' | 'write'] '[' Type ']' ':' Type
+TableProp = ['read' | 'write'] NAME ':' Type
+PropList = TableProp [fieldsep PropList] | TableIndexer {fieldsep TableProp} 
+
 TableType = '{' Type '}' | '{' [PropList] '}'
 FunctionType = ['<' GenericTypeList '>'] '(' [BoundTypeList] ')' '->' ReturnType
 ```