GRAMMAR: allowing pattern-matching expressions (only in parens) as th…

…e 'rangeexpr' for a comprehension
getify · Sep 6, 2024 · 0bc27f7 · 0bc27f7
1 parent 4b2fda0
commit 0bc27f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Grammar.md b/Grammar.md
@@ -241,7 +241,7 @@ DepCondBinaryBoolExpr   := NamedBoolRightExpr | SymbolicBoolRightExpr | ("(" WhS
 (*************** Loops/Comprehensions ***************)
 
 ComprExpr               := (((ComprRangeNoEachExpr WhSp+ ComprOpNoEach) | (ComprRangeEachExpr WhSp+ ComprOpEach) | (ComprExpr WhSp+ ComprOp)) WhSp+ ComprIterationExpr) | ("(" WhSp* ComprExpr WhSp* ")");
-ComprRangeNoEachExpr    := IdentifierExpr | CallExpr | DataStructLit | ClosedRangeExpr | ExprAccessExpr | DoComprExpr | DoLoopComprExpr | ("(" WhSp* ComprRangeNoEachExpr WhSp* ")");
+ComprRangeNoEachExpr    := IdentifierExpr | CallExpr | DataStructLit | ClosedRangeExpr | ExprAccessExpr | DoComprExpr | DoLoopComprExpr | ("(" WhSp* (ComprRangeNoEachExpr | MatchExpr) WhSp* ")");
 ComprRangeEachExpr      := CondClause | ComprRangeNoEachExpr | ("(" WhSp* ComprRangeEachExpr WhSp* ")");
 ComprOp                 := ComprOpNoEach | ComprOpEach;
 ComprOpNamed            := ComprOpEach | ComprOpNamedNoEach;