Fix review comments

Pi-Squared-Inc · Jan 27, 2025 · 5703267 · 5703267
1 parent f7ae4cc
commit 5703267
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 28 deletions.
diff --git a/pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parsing/func.md b/pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parsing/func.md
diff --git a/pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parsing/int.md b/pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parsing/int.md
@@ -54,10 +54,6 @@ module BINARY-PARSER-INT  [private]
       => intResult(buildLeb128UInt(L), BWI)
   rule #parseLeb128UInt(E:ParseError) => E
 
-  syntax Int ::= buildLeb128UInt(Ints) [function, total]
-  rule buildLeb128UInt(.Ints) => 0
-  rule buildLeb128UInt(Value:Int L:Ints) => Value +Int 128 *Int buildLeb128UInt(L)
-
   syntax IntResult  ::= #parseLeb128SInt(IntsResult)  [function, total]
 
   rule parseLeb128SInt(BWI:BytesWithIndex) => #parseLeb128SInt(parseLeb128IntChunks(BWI))