From 8c389bd4508ccb402b98e66934cf5b86990af43d Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Fri, 19 Oct 2012 16:54:11 +0200
Subject: [PATCH] Add choose up to 7 arguments
---
library/Utils.scala | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/library/Utils.scala b/library/Utils.scala
index 15006c7bc..44b05cd36 100644
--- a/library/Utils.scala
+++ b/library/Utils.scala
@@ -19,4 +19,14 @@ object Utils {
def waypoint[A](i: Int, expr: A): A = expr
+
+ private def noChoose = throw new RuntimeException("Implementation not supported")
+
+ def choose[A](predicate: A => Boolean) = noChoose
+ def choose[A, B](predicate: (A, B) => Boolean) = noChoose
+ def choose[A, B, C](predicate: (A, B, C) => Boolean) = noChoose
+ def choose[A, B, C, D](predicate: (A, B, C, D) => Boolean) = noChoose
+ def choose[A, B, C, D, E](predicate: (A, B, C, D, E) => Boolean) = noChoose
+ def choose[A, B, C, D, E, F](predicate: (A, B, C, D, E, F) => Boolean) = noChoose
+ def choose[A, B, C, D, E, F, G](predicate: (A, B, C, D, E, F, G) => Boolean) = noChoose
}
--
GitLab