From edc415d8238bfa8b99450cef0604b035048fd19a Mon Sep 17 00:00:00 2001
From: "Daniel P H Fox (Roblox)" <dfox@roblox.com>
Date: Fri, 7 Feb 2025 10:50:01 -0800
Subject: [PATCH] Fully qualified paths

---
 docs/syntax-structure-matching.md | 42 +++++++++++++++++++++++++------
 1 file changed, 34 insertions(+), 8 deletions(-)

diff --git a/docs/syntax-structure-matching.md b/docs/syntax-structure-matching.md
index a213bc9..4080519 100644
--- a/docs/syntax-structure-matching.md
+++ b/docs/syntax-structure-matching.md
@@ -149,26 +149,52 @@ foo, bar = data["foo"], data["bar"]
 
 #### Nested structure
 
-A structure matcher can be specified instead of an identifier, to match nested structure inside of that key. This is compatible with unpacking and dot keys.
-
-No `=` is used, as this is not an assigning operation.
-
-*Open question: should we? or perhaps a different delimiter for visiting without binding? Discuss in comments.*
+Keys can be chained together to match values in nested tables.
 
 ```Lua
-{ .foo { .bar } }
+{ .foo.bar }
 ```
 
 This desugars once to:
 
 ```Lua
-{ ["foo"] { bar = ["bar"] } }
+{ bar = .foo.bar }
+```
+
+Then desugars twice to:
+
+```Lua
+{ bar = ["foo"]["bar"] }
 ```
 
 Then desugars again to:
 
 ```Lua
-local bar = data["foo"]["bar"]
+bar = data["foo"]["bar"]
+```
+
+To avoid fully qualifying multiple paths, parentheses can be used to share a common prefix:
+
+```Lua
+{ .foo(.bar, myBaz = ["baz"]) }
+```
+
+This desugars once to:
+
+```Lua
+{ .foo.bar, myBaz = .foo["baz"] }
+```
+
+Then desugars twice to:
+
+```Lua
+{ foo = ["foo"]["bar"], myBaz = ["foo"]["baz"] }
+```
+
+Then desugars again to:
+
+```Lua
+local bar, myBaz = data["foo"]["bar"], data["foo"]["baz"]
 ```
 
 ## Alternatives