minor type fix

es-meta · Jul 25, 2024 · 67e4360 · 67e4360
1 parent c83a992
commit 67e4360
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/main/scala/esmeta/interpreter/Interpreter.scala b/src/main/scala/esmeta/interpreter/Interpreter.scala
@@ -473,7 +473,7 @@ class Interpreter(
     case comp: Comp =>
       if (check) throw ReturnValue(value, ria)
       else throw UncheckedAbrupt(comp)
-    case pure: Value => pure // XXX remove?
+    case pure: PureValue => pure // XXX remove?
 
   /** transition for references */
   def eval(ref: Ref): RefTarget = ref match

diff --git a/src/main/scala/esmeta/state/Value.scala b/src/main/scala/esmeta/state/Value.scala
@@ -70,7 +70,7 @@ case class Comp(
 object NormalComp {
   def apply(value: Value): Comp =
     Comp(ENUM_NORMAL, value.toPureValue, None)
-  def unapply(comp: Comp): Option[Value] = comp match {
+  def unapply(comp: Comp): Option[PureValue] = comp match {
     case Comp(ENUM_NORMAL, value, None) => Some(value)
     case _                              => None
   }