Correct path grammar.

jqlang · Jan 6, 2025 · 549dcdc · 549dcdc
1 parent 7382953
commit 549dcdc
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/docs/content/manual/dev/manual.md b/docs/content/manual/dev/manual.md
@@ -1095,10 +1095,8 @@ Therefore, we define it via a formal grammar in
 ~~~ ebnf
 field = ident | string;
 
-path = atomic, part
+init = atomic, part
      | ".", field
-     | path, part
-     | path, part, "?"
      ;
 
 part = ".", field
@@ -1108,6 +1106,10 @@ part = ".", field
      | "[", t, ":",    "]"
      | "[",    ":", t, "]"
      ;
+
+(* `[ t ]` stands for an optional occurrence of `t` and
+   `{ t }` stands for arbitrarily many occurrences of `t` *)
+path = init, [ "?" ], { part, [ "?" ] };
 ~~~
 
 Here,