Skip to content

Commit

Permalink
Some minor Fix
Browse files Browse the repository at this point in the history
  • Loading branch information
taxor03 authored and jhnaldo committed Jul 25, 2024
1 parent 2875fe7 commit c83a992
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 3 deletions.
1 change: 0 additions & 1 deletion src/main/scala/esmeta/injector/Injector.scala
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,6 @@ import esmeta.{LINE_SEP, RESOURCE_DIR}
import java.io.PrintWriter
import scala.collection.mutable.{Map => MMap}
import scala.concurrent.TimeoutException
import scala.annotation.meta.field

/** assertion injector */
object Injector:
Expand Down
4 changes: 2 additions & 2 deletions src/main/scala/esmeta/interpreter/Interpreter.scala
Original file line number Diff line number Diff line change
Expand Up @@ -178,8 +178,8 @@ class Interpreter(
val t = eval(tgtExpr)
val v = eval(valExpr).toPureValue
(y, t) match
case (y: Enum, Str(t)) => Comp(y, v.toPureValue, Some(t))
case (y: Enum, ENUM_EMPTY) => Comp(y, v.toPureValue, None)
case (y: Enum, Str(t)) => Comp(y, v, Some(t))
case (y: Enum, ENUM_EMPTY) => Comp(y, v, None)
case (y: Enum, t) => throw InvalidCompTarget(y)
case (y, t) => throw InvalidCompType(t)
case EIsCompletion(expr) =>
Expand Down

0 comments on commit c83a992

Please sign in to comment.