Fix kompilation warning in test.md (#611)

* Fix kompilation warning in `test.md` Co-authored-by: Virgil <[email protected]> * Set Version: 0.1.31 --------- Co-authored-by: Virgil <[email protected]> Co-authored-by: devops <[email protected]>
runtimeverification · Apr 15, 2024 · da66a27 · da66a27
1 parent 6ac1a42
commit da66a27
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 3 deletions.
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.30
+0.1.31
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pykwasm"
-version = "0.1.30"
+version = "0.1.31"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git a/pykwasm/src/pykwasm/kdist/plugin.py b/pykwasm/src/pykwasm/kdist/plugin.py
@@ -44,6 +44,7 @@ def context(self) -> dict[str, str]:
             'main_module': 'WASM-TEST',
             'syntax_module': 'WASM-TEST-SYNTAX',
             'md_selector': 'k',
+            'warning_to_error': True,
             'gen_glr_bison_parser': True,
             'opt_level': 2,
             'ccopts': ['-g'],

diff --git a/pykwasm/src/pykwasm/kdist/wasm-semantics/test.md b/pykwasm/src/pykwasm/kdist/wasm-semantics/test.md
@@ -165,9 +165,11 @@ We add `token` as a value in order to use as a separator in `<valstack>`.
 ```k
     syntax Val ::= "token"
  // ----------------------
+    rule #sameType(token, _) => false
+
     rule <instrs> token => .K ... </instrs>
          <valstack> S => token : S </valstack>
-    
+
     syntax ValStack ::= takeUntilToken(ValStack)    [function, total]
                       | dropUntilToken(ValStack)    [function, total]
  // -----------------------------------------------------------------