Fix error in typing rules for EKeys (#207)

es-meta · Feb 6, 2024 · 815d6ea · 815d6ea
1 parent 034038d
commit 815d6ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 */