Hotfix bugs related to instantiation of symbolic expressions in type …

…checker
es-meta · Dec 17, 2024 · 55c5c83 · 55c5c83
1 parent 23bbd3b
commit 55c5c83
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/src/main/scala/esmeta/analyzer/tychecker/AbsTransfer.scala b/src/main/scala/esmeta/analyzer/tychecker/AbsTransfer.scala
@@ -1295,8 +1295,11 @@ trait AbsTransferDecl { analyzer: TyChecker =>
       sexpr: SymExpr,
       map: Map[Sym, AbsValue],
     )(using st: AbsState): Option[SymExpr] = sexpr match {
-      case SEBool(b)     => Some(sexpr)
-      case SERef(ref)    => None
+      case SEBool(b) => Some(sexpr)
+      case SERef(ref) =>
+        instantiate(ref, map).symty match
+          case SRef(ref) => Some(SERef(ref))
+          case _         => None
       case SEExists(ref) => None
       case SETypeCheck(base, ty) =>
         instantiate(base, map) match