add @tailrec

atnos-org · Aug 7, 2022 · be9aeb0 · be9aeb0
1 parent 6698bd0
commit be9aeb0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/shared/src/main/scala/org/atnos/eff/Eff.scala b/shared/src/main/scala/org/atnos/eff/Eff.scala
@@ -4,6 +4,7 @@ import cats._
 import cats.syntax.all._
 import Eff._
 import EffCompat._
+import scala.annotation.tailrec
 import scala.concurrent.duration.FiniteDuration
 
 /**
@@ -452,7 +453,8 @@ trait EffInterpretation {
   /**
    * get the pure value if there is no effect
    */
-  def runPure[R, A](eff: Eff[R, A]): Option[A] =
+  @tailrec
+  final def runPure[R, A](eff: Eff[R, A]): Option[A] =
     eff match {
       case Pure(a, Last(Some(l))) => l.value; Some(a)
       case Pure(a, _) => Some(a)