fix compilation error

Generative-Program-Analysis · Jun 2, 2023 · fb15e8d · fb15e8d
1 parent 6266003
commit fb15e8d
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/src/main/scala/wasm/Eval.scala b/src/main/scala/wasm/Eval.scala
@@ -164,7 +164,7 @@ case class Config(var frame: Frame, code: Code, stackBudget: Int) {
     //   case Plain(instr) => println(stack, instr)
     //   case _ => println(stack)
     // }
-    val (newStack, newInstrs) = adminInstrs.head match {
+    val (newStack, newInstrs): (List[Value], List[AdminInstr])  = adminInstrs.head match {
       case Plain(instr) => instr match {
         // Parametric Instructions
         case Drop => stack match {
@@ -253,7 +253,8 @@ case class Config(var frame: Frame, code: Code, stackBudget: Int) {
             } else {
               val mem = frame.module.memory.head
               mem.copy(dest, src, n)
-            } 
+              ??? // FIXME
+            }
           }
           case _ => throw new Exception("Invalid stack")
         }

diff --git a/src/main/scala/wasm/Memory.scala b/src/main/scala/wasm/Memory.scala
@@ -72,7 +72,7 @@ case class Memory(var memType: MemoryType, data: ArrayBuffer[Byte]) {
         storeByte(dst + i, loadByte(src + i))
       }
     } else {
-      for (i <- 0 until size) {
+      for (i <- 0 until size.toInt) {
         storeByte(dst + i, loadByte(src + i))
       }
     }

diff --git a/third-party/lms-clean b/third-party/lms-clean