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

Specify type error behaviour

Browse source
This commit is contained in:
Daniel P H Fox (Roblox) 2025-01-29 12:23:09 -08:00 • committed by GitHub
parent 4d665f39ba
commit 0d205d42a0
Signed by: DevComp
GPG key ID: B5690EEEBB952194
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/syntax-structure-matching.md
View file

@ -166,22 +166,22 @@ Then desugars again to:
foo, bar = data[1], data[2]
```
`unpack` skips dot keys and explicitly written keys:
`unpack` skips dot keys and explicitly written keys. If an explicit key collides with an implicit key, this is a type error.
```Lua
{ unpack foo, [10] = bar, baz, .garb }
{ unpack foo, [true] = bar, baz, .garb }
```
This desugars once to:
```Lua
{ [1] = foo, [10] = bar, [2] = baz, ["garb"] = garb }
{ [1] = foo, [true] = bar, [2] = baz, ["garb"] = garb }
```
Then desugars again to:
```Lua
foo, bar, baz, garb = data[1], data[10], data[2], data["garb"]
foo, bar, baz, garb = data[1], data[true], data[2], data["garb"]
```
It is invalid to specify an identifer without a key if `unpack` is not specified, for disambiguity with other languages.