avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
--- a/src/Pure/Concurrent/future.scala Tue Apr 22 23:49:15 2014 +0200
+++ b/src/Pure/Concurrent/future.scala Tue Apr 22 23:57:17 2014 +0200
@@ -68,7 +68,7 @@
Exn.release {
peek match {
case Some(res) => res
- case None => (evaluator !? ()).asInstanceOf[Exn.Result[A]]
+ case None => (evaluator !? (())).asInstanceOf[Exn.Result[A]]
}
}
}
--- a/src/Pure/General/scan.scala Tue Apr 22 23:49:15 2014 +0200
+++ b/src/Pure/General/scan.scala Tue Apr 22 23:57:17 2014 +0200
@@ -238,7 +238,7 @@
var rest = in
def try_parse[A](p: Parser[A]): Boolean =
{
- parse(p ^^^ (), rest) match {
+ parse(p ^^^ (()), rest) match {
case Success(_, next) => { rest = next; true }
case _ => false
}