From 7d04f75f91cf63741a3f8ddc8eb6e40748b9cd6d Mon Sep 17 00:00:00 2001
From: Jihyeok Park <jihyeok_park@korea.ac.kr>
Date: Thu, 6 Feb 2025 12:05:54 +0900
Subject: [PATCH] refactor: remove unnecessary SymTyLike type in general
 Analyzer def.

---
 src/main/scala/esmeta/analyzer/Analyzer.scala        |  3 ---
 src/main/scala/esmeta/analyzer/DomainLike.scala      | 11 -----------
 src/main/scala/esmeta/analyzer/tychecker/SymTy.scala |  2 +-
 3 files changed, 1 insertion(+), 15 deletions(-)

diff --git a/src/main/scala/esmeta/analyzer/Analyzer.scala b/src/main/scala/esmeta/analyzer/Analyzer.scala
index bf0da426ab..2286d2c871 100644
--- a/src/main/scala/esmeta/analyzer/Analyzer.scala
+++ b/src/main/scala/esmeta/analyzer/Analyzer.scala
@@ -39,9 +39,6 @@ abstract class Analyzer
   /** check reachability of return points */
   def reachable(rp: ReturnPoint): Boolean
 
-  /** symbolic types */
-  type SymTy <: SymTyLike
-
   /** abstract states */
   type AbsState <: AbsStateLike
 
diff --git a/src/main/scala/esmeta/analyzer/DomainLike.scala b/src/main/scala/esmeta/analyzer/DomainLike.scala
index eb23bf3546..5844a9112b 100644
--- a/src/main/scala/esmeta/analyzer/DomainLike.scala
+++ b/src/main/scala/esmeta/analyzer/DomainLike.scala
@@ -27,17 +27,6 @@ trait DomainLikeDecl { self: Analyzer =>
     override def toString: String = stringify(this)(using domain.rule)
   }
 
-  /** Symbolic types */
-  trait SymTyLike extends DomainElemLike[SymTy] { self: SymTy =>
-
-    /** abstract domain */
-    def domain = SymTy
-
-    /** get string of symbolic type */
-    def getString: String
-  }
-  val SymTy: DomainLike[SymTy]
-
   /** abstract values */
   trait AbsValueLike extends DomainElemLike[AbsValue] { self: AbsValue =>
 
diff --git a/src/main/scala/esmeta/analyzer/tychecker/SymTy.scala b/src/main/scala/esmeta/analyzer/tychecker/SymTy.scala
index f23861091e..545bb03905 100644
--- a/src/main/scala/esmeta/analyzer/tychecker/SymTy.scala
+++ b/src/main/scala/esmeta/analyzer/tychecker/SymTy.scala
@@ -12,7 +12,7 @@ import esmeta.util.BaseUtils.*
 trait SymTyDecl { self: TyChecker =>
   import tyStringifier.given
 
-  enum SymTy extends SymTyLike {
+  enum SymTy {
     case STy(ty: ValueTy)
     case SRef(ref: SymRef)
     case SNormal(symty: SymTy)