luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity

Fix correctness of generic type list

Browse source 
Previously, the definition permitted `type Foo<T..., U>`, but generic types must come before generic type packs.
This grammar now represents this better
This commit is contained in:
JohnnyMorganz 2022-01-17 13:31:47 +00:00
parent 893b0abfa8
commit df5ba24ef9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/_pages/grammar.md
View file

@ -73,7 +73,7 @@ Type =
SimpleType ['|' Type] | SimpleType ['|' Type] |
SimpleType ['&' Type] SimpleType ['&' Type]
GenericTypeList = NAME ['...'] {',' NAME ['...']} GenericTypeList = NAME [',' GenericTypeList] | NAME '...' {',' NAME '...'}
TypeList = Type [',' TypeList] | '...' Type TypeList = Type [',' TypeList] | '...' Type
ReturnType = Type | '(' TypeList ')' ReturnType = Type | '(' TypeList ')'
TableIndexer = '[' Type ']' ':' Type TableIndexer = '[' Type ']' ':' Type