From 67e436086b5f494554ef349971b4859301bc8efa Mon Sep 17 00:00:00 2001 From: taxor03 Date: Thu, 25 Jul 2024 16:06:26 +0900 Subject: [PATCH] minor type fix --- src/main/scala/esmeta/interpreter/Interpreter.scala | 2 +- src/main/scala/esmeta/state/Value.scala | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/scala/esmeta/interpreter/Interpreter.scala b/src/main/scala/esmeta/interpreter/Interpreter.scala index c6ac7f5a6f..a33e18876d 100644 --- 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 index a6fb9c05d4..84779afa68 100644 --- 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 }