make tailRecMStackSafety lazy val (#1465)

fixes #1463
typelevel · Nov 28, 2016 · 47acf7f · 47acf7f
1 parent f01efa8
commit 47acf7f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/laws/src/main/scala/cats/laws/MonadLaws.scala b/laws/src/main/scala/cats/laws/MonadLaws.scala
@@ -36,7 +36,7 @@ trait MonadLaws[F[_]] extends ApplicativeLaws[F] with FlatMapLaws[F] {
   def mapFlatMapCoherence[A, B](fa: F[A], f: A => B): IsEq[F[B]] =
     fa.flatMap(a => F.pure(f(a))) <-> fa.map(f)
 
-  val tailRecMStackSafety: IsEq[F[Int]] = {
+  lazy val tailRecMStackSafety: IsEq[F[Int]] = {
     val n = 50000
     val res = F.tailRecM(0)(i => F.pure(if (i < n) Either.left(i + 1) else Either.right(i)))
     res <-> F.pure(n)