Merge pull request #1510 from informalsystems/grammar-update

Updated the grammar rules to allow for optional trailing commas.
informalsystems · Oct 28, 2024 · f3468b2 · f3468b2
2 parents b227ec3 + b887590
commit f3468b2
Show file tree

Hide file tree

Showing 13 changed files with 1,017 additions and 6,679 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -27,7 +27,15 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Grammar updated with support for an optional leading hashbang (`#!`) line (#1522)
 - Added a new operator called `getOnlyElement()` to extract elements out of singleton sets (#1525)
 
+
 ### Changed
+
+- Updated grammar rule to allow an optional trailing comma in parameter lists (#1510):
+
+  - Operator calls
+  - Constant initialization
+  - Operator definitions
+
 ### Deprecated
 ### Removed
 ### Fixed

diff --git a/quint/cli-tests.md b/quint/cli-tests.md
@@ -392,4 +392,4 @@ See [#1500](https://github.com/informalsystems/quint/issues/1500).
 if [ `uname -s` == 'Linux' -o `uname -s` == 'Darwin' ]; then
     ./testFixture/SuperSpec.qnt
 fi
-```
+```
diff --git a/quint/src/generated/.antlr/Quint.interp b/quint/src/generated/.antlr/Quint.interp
diff --git a/quint/src/generated/.antlr/Quint.tokens b/quint/src/generated/.antlr/Quint.tokens
diff --git a/quint/src/generated/.antlr/QuintLexer.interp b/quint/src/generated/.antlr/QuintLexer.interp
-Original file line number
+Diff line change
@@ Expand Up @@
     if [ `uname -s` == 'Linux' -o `uname -s` == 'Darwin' ]; then
         ./testFixture/SuperSpec.qnt
     fi
-    ```
+    ```