From 815d6ead7a2e3edd5e540748c394b5dfc3454633 Mon Sep 17 00:00:00 2001
From: Jihyeok Park <jhpjhp0223@gmail.com>
Date: Tue, 6 Feb 2024 18:25:22 +0900
Subject: [PATCH] Fix error in typing rules for EKeys (#207)

---
 src/main/scala/esmeta/analyzer/domain/state/TypeDomain.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/scala/esmeta/analyzer/domain/state/TypeDomain.scala b/src/main/scala/esmeta/analyzer/domain/state/TypeDomain.scala
index 782f446cba..b97e690071 100644
--- a/src/main/scala/esmeta/analyzer/domain/state/TypeDomain.scala
+++ b/src/main/scala/esmeta/analyzer/domain/state/TypeDomain.scala
@@ -143,7 +143,7 @@ object TypeDomain extends state.Domain {
     ): (AbsValue, Elem) =
       val value =
         if (v.ty.subMap.isBottom) AbsValue.Bot
-        else AbsValue(StrT)
+        else AbsValue(ListT(StrT))
       (value, elem)
 
     /** list concatenation */