Remove unused things

epfl-lara · Jan 5, 2025 · 615e9ab · 615e9ab
1 parent c4eb2f5
commit 615e9ab
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 6 deletions.
diff --git a/core/src/main/scala/stainless/genc/ir/IR.scala b/core/src/main/scala/stainless/genc/ir/IR.scala
@@ -232,7 +232,6 @@ private[genc] sealed trait IR { ir =>
       case Return(e) => e.getType
       case Assert(_) => NoType
       case Break => NoType
-      case Continue => NoType
     }
   }
 
@@ -328,8 +327,6 @@ private[genc] sealed trait IR { ir =>
 
   case object Break extends Expr
 
-  case object Continue extends Expr
-
   /****************************************************************************************************
    *                                                       Expression Helpers                         *
    ****************************************************************************************************/

diff --git a/core/src/main/scala/stainless/genc/ir/IRPrinter.scala b/core/src/main/scala/stainless/genc/ir/IRPrinter.scala
@@ -126,7 +126,6 @@ final class IRPrinter[S <: IR](val ir: S) {
     case Return(e) => "return " + rec(e)
     case Assert(e) => "assert(" + rec(e) + ")"
     case Break => "break"
-    case Continue => "continue"
   }
 
   private def rec(typ: Type)(using Context): String = (typ: @unchecked) match {

diff --git a/core/src/main/scala/stainless/genc/ir/Transformer.scala b/core/src/main/scala/stainless/genc/ir/Transformer.scala
@@ -171,7 +171,6 @@ abstract class Transformer[From <: IR, To <: IR](final val from: From, final val
     case Return(e) => to.Return(rec(e)) -> env
     case Assert(e) => to.Assert(rec(e)) -> env
     case Break => to.Break -> env
-    case Continue => to.Continue -> env
   }
 
   protected def rec(typ: Type)(using Env): to.Type = (typ: @unchecked) match {

diff --git a/core/src/main/scala/stainless/genc/ir/Visitor.scala b/core/src/main/scala/stainless/genc/ir/Visitor.scala
@@ -120,7 +120,6 @@ abstract class Visitor[S <: IR](val ir: S) {
       case Deref(e) => rec(e)
       case Return(e) => rec(e)
       case Break => ()
-      case Continue => ()
     }
     visit(e)
   }