Add prec to WasmStringToken (#614)

* Add `prec` to `WasmStringToken` To avoid collision with the built-in `String` token. * Set Version: 0.1.34 --------- Co-authored-by: devops <[email protected]>
runtimeverification · Apr 18, 2024 · ea2fbb3 · ea2fbb3
1 parent e9e04e4
commit ea2fbb3
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.33
+0.1.34
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.33"
+version = "0.1.34"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git a/pykwasm/src/pykwasm/kdist/wasm-semantics/wasm-text.md b/pykwasm/src/pykwasm/kdist/wasm-semantics/wasm-text.md
@@ -26,7 +26,7 @@ In WebAssembly, strings are defined differently to K's built-in strings, so we h
 Note that you cannot use a normal K `String` in any production definitions, because the definitions of `String` and `WasmString` overlap, and the K tokenizer does not support ambiguity.
 
 ```k
-    syntax WasmStringToken ::= r"\\\"(([^\\\"\\\\])|(\\\\[0-9a-fA-F]{2})|(\\\\t)|(\\\\n)|(\\\\r)|(\\\\\\\")|(\\\\')|(\\\\\\\\)|(\\\\u\\{[0-9a-fA-F]{1,6}\\}))*\\\"" [token]
+    syntax WasmStringToken ::= r"\\\"(([^\\\"\\\\])|(\\\\[0-9a-fA-F]{2})|(\\\\t)|(\\\\n)|(\\\\r)|(\\\\\\\")|(\\\\')|(\\\\\\\\)|(\\\\u\\{[0-9a-fA-F]{1,6}\\}))*\\\"" [token, prec(1)]
  // -----------------------------------------------------------------------------------------------------------------------------------------------------------------------
 ```