New construct: table update. Syntax t ** { cases }. Syntactic sugar for table {cases ; vvv => t \! vvv}.t

2026-04-09 04:59:31 -06:00 · 2022-10-03 17:04:29 +02:00
parent dc8dce90a0
commit 83483b93ba
1 changed files with 1 additions and 0 deletions
--- a/src/compiler/GF/Grammar/Parser.y
+++ b/src/compiler/GF/Grammar/Parser.y
@@ -430,6 +430,7 @@ Exp3
                                         RecType xs -> RecType (xs ++ [(tupleLabel (length xs+1),$3)])
                                         t          -> RecType [(tupleLabel 1,$1), (tupleLabel 2,$3)]  }
  | Exp3 '**' Exp4                   { ExtR $1 $3    }
+  | Exp3 '**'  '{' ListCase '}'      { let v = identS "vvv" in T TRaw ($4 ++ [(PV v, S $1 (Vr v))]) }
  | Exp4                             { $1            }

 Exp4 :: { Term }