From b4a267244cb95c67343dc36e6c7c6ab97520bef2 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 6 Oct 2015 19:07:55 +0200
Subject: [PATCH] Get rid of State.forever in lib
---
library/monads/state/State.scala | 4 ----
1 file changed, 4 deletions(-)
diff --git a/library/monads/state/State.scala b/library/monads/state/State.scala
index d16048688..01ad0da3d 100644
--- a/library/monads/state/State.scala
+++ b/library/monads/state/State.scala
@@ -46,10 +46,6 @@ case class State[S, A](runState: S => (A, S)) {
@inline
def >:: (s: S) = eval(s)
- /** Helpers */
- @isabelle.noBody
- def forever[B]: State[S, B] = this >> forever
-
def apply(s: S) = runState(s)
}
--
GitLab