From 39f35526b4ecca29ad8c6b0b03c4aeaba2b1cd47 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 11 Sep 2015 19:24:38 +0200
Subject: [PATCH] Remove useless type param.
---
library/monads/state/State.scala | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/library/monads/state/State.scala b/library/monads/state/State.scala
index f6a887356..ece710774 100644
--- a/library/monads/state/State.scala
+++ b/library/monads/state/State.scala
@@ -135,12 +135,12 @@ object State {
l match {
case Nil() => unit(z)
case x :: xs =>
- f(z, x) >>= ( z0 => foldLeftM(f, z0,xs) )
+ f(z, x) >>= ( z0 => foldLeftM(f,z0,xs) )
}
}
//(b -> a -> m b) -> b -> t a -> m ()
- def foldLeftM_ [S, A, B](f: A => State[S, Unit], l: List[A]): State[S, Unit] = {
+ def foldLeftM_ [S, A](f: A => State[S, Unit], l: List[A]): State[S, Unit] = {
l match {
case Nil() => unit(())
case x :: xs =>
@@ -422,4 +422,4 @@ object ExampleStackEval {
// evalM(e).exec(empty).head == eval(e)
//}.holds
-}
\ No newline at end of file
+}
--
GitLab