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

Add type pack argument grammar

Browse source 
Including variadic/generic type packs
This commit is contained in:
JohnnyMorganz 2022-01-17 16:24:46 +00:00
parent e0b9aadb06
commit 39f85e2c9c
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
docs/_pages/grammar.md
View file

@ -7,8 +7,6 @@ classes: wide
This is the complete syntax grammar for Luau in EBNF. More information about the terminal nodes String and Number
is available in the [syntax section](syntax).
> Note: this grammar is currently missing type pack syntax for generic arguments
```ebnf
chunk = block
block = {stat [';']} [laststat [';']]
@ -63,7 +61,7 @@ SimpleType =
STRING |
'true' |
'false' |
NAME ['.' NAME] [ '<' TypeList '>' ] |
NAME ['.' NAME] [ '<' [TypeParams] '>' ] |
'typeof' '(' exp ')' |
TableType |
FunctionType
@ -76,7 +74,9 @@ Type =
GenericTypePack = NAME '...' ['=' '(' TypeList ')']
GenericTypeList = NAME ['=' Type] [',' GenericTypeList] | GenericTypePack {',' GenericTypePack}
TypeList = Type [',' TypeList] | '...' Type
ReturnType = Type | '(' TypeList ')'
TypeParams = (Type | TypePack | '...' Type | NAME '...') [',' TypeParams]
TypePack = '(' [TypeList] ')'
ReturnType = Type | TypePack
TableIndexer = '[' Type ']' ':' Type
TableProp = NAME ':' Type
TablePropOrIndexer = TableProp | TableIndexer