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 syntax to reference new 'funchead' grammar instead of 'funcargs'

Browse source
This commit is contained in:
Vyacheslav Egorov 2021-06-08 22:22:07 +03:00
parent 1aeeab0c1b
commit 4031fbd0d3
1 changed files with 8 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
rfcs/syntax-lambda-function-expressions.md
View file

@ -36,7 +36,8 @@ prefixexp ::= NAME | `(' expr `)'
``` ```
After: After:
``` ```
prefixexp ::= NAME [`->' subexpr] | funcargs `->' subexpr | `(' expr `)' funchead ::= `(' [parlist] `)' [`:' ReturnType]
prefixexp ::= NAME [`->' subexpr] | funchead `->' subexpr | `(' expr `)'
``` ```
Note that an anonymous function with a single argument is allowed to have a type annotation only when it's inside `()`. Note that an anonymous function with a single argument is allowed to have a type annotation only when it's inside `()`.
@ -47,7 +48,7 @@ We extend the syntax of *prefixexp* instead of *simpleexp* because we parse expr
Parsing of the first option is easy, we check a single token for `->` after the NAME. Parsing of the first option is easy, we check a single token for `->` after the NAME.
### Parsing ``funcargs `->' subexpr`` ### Parsing ``funchead `->' subexpr``
Parsing of the function argument list is in conflict with an expression in `` `(' expr `)'``. Parsing of the function argument list is in conflict with an expression in `` `(' expr `)'``.
To resolve this issue, we are going to perform the switch to potential function arguments after we consume the common `(` token. To resolve this issue, we are going to perform the switch to potential function arguments after we consume the common `(` token.
@ -86,5 +87,9 @@ local b = filter(map(c, do(a: number) a * 2), do(a: number) a > 0)
Syntax of *simpleexp* is extended with a new option: Syntax of *simpleexp* is extended with a new option:
``` ```
| `do` funcargs subexpr | `do` funchead subexpr
```
where
```
funchead ::= `(' [parlist] `)' [`:' ReturnType]
``` ```