parser-lr 0.8.1 → 0.8.2

package/docs/grammar.md

@@ -98,6 +98,19 @@ expr =
   ;
 ```
 
+An explicitly labeled alternative may contain zero factors. It matches the
+empty input while preserving its label as the CST variant:
+
+```ebnf
+optional_color =
+    #absent
+  | #present kw_with expression
+  ;
+```
+
+Zero-factor alternatives must have a label; an unlabeled empty production such
+as `optional_color = ;` is not valid.
+
 ### Production syntax
 
 Each production ends with a semicolon:
@@ -158,6 +171,22 @@ transform
 
 `type.#variant` refers to an AST type and variant from the `ast` section. Arguments are binding names from the parse production.
 
+Use a build target without parentheses for a zero-argument transform:
+
+```ebnf
+ast
+    optional_color =
+        #absent
+      | #present expression
+      ;
+
+transform
+    optional_color ->
+        #absent optional_color.#absent
+      | #present optional_color.#present(expression)
+      ;
+```
+
 Example (calculator):
 
 ```ebnf

package/grammars/grammar.grammar

@@ -203,7 +203,8 @@ grammar
     ;
 
     labeled_alternative =
-        [ hash identifier ] sequence
+        hash identifier [ sequence ]
+      | sequence
     ;
 
     sequence =

package/package.json

@@ -1,7 +1,7 @@
 {
     "name": "parser-lr",
     "author": "Adam R Moss <adamrmoss@gmail.com>",
-    "version": "0.8.1",
+    "version": "0.8.2",
     "description": "Shift-reduce parser library for EBNF grammars with LR table generation, lexing, and CST-to-AST transforms",
     "keywords": [
         "ast",