Update regex terminals to match new syntax (#627)

* Update regex to match new syntax * Set Version: 0.1.47 --------- Co-authored-by: devops <[email protected]>
runtimeverification · May 9, 2024 · 075f1e9 · 075f1e9
1 parent 25cdb9d
commit 075f1e9
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.46
+0.1.47
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.46"
+version = "0.1.47"
 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
@@ -35,7 +35,7 @@ Note that you cannot use a normal K `String` in any production definitions, beca
 In WebAssembly, identifiers are defined by the regular expression below.
 
 ```k
-    syntax IdentifierToken ::= r"\\$[0-9a-zA-Z!$%&'*+/<>?_`|~=:\\@^.-]+" [token]
+    syntax IdentifierToken ::= r"\\$[0-9a-zA-Z!$%&'*+/<>?_`|~=:\\@\\^.\\-]+" [token]
  // ----------------------------------------------------------------------------
 ```
 
@@ -45,8 +45,8 @@ In WebAssembly, integers could be represented in either the decimal form or hexa
 In both cases, digits can optionally be separated by underscores.
 
 ```k
-    syntax WasmIntToken ::= r"[\\+-]?[0-9]+(_[0-9]+)*"               [token]
-                          | r"[\\+-]?0x[0-9a-fA-F]+(_[0-9a-fA-F]+)*" [token]
+    syntax WasmIntToken ::= r"[\\+\\-]?[0-9]+(_[0-9]+)*"               [token]
+                          | r"[\\+\\-]?0x[0-9a-fA-F]+(_[0-9a-fA-F]+)*" [token]
  // ------------------------------------------------------------------------
 ```