Remove unnecessary IdxRefine class

es-meta · Sep 11, 2024 · 5220264 · 5220264
1 parent 849fc18
commit 5220264
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/main/scala/esmeta/ty/package.scala b/src/main/scala/esmeta/ty/package.scala
@@ -21,9 +21,6 @@ type Refinements = Map[RefinementKind, Map[Local, ValueTy]]
 enum RefinementKind:
   case True, False, Normal, Abrupt
 
-/** indexed type refinements */
-case class IdxRefine(idx: Int, kind: RefinementKind, ty: ValueTy)
-
 // -----------------------------------------------------------------------------
 // helpers
 // -----------------------------------------------------------------------------