Wow, is that a proper Android build system?

[tripe-android] / progress.scala

diff --git a/progress.scala b/progress.scala
index ab40c5de9086baca5f984463e24331d126ee025f..308b535636b795b3587726baabc1e9ad306a15df 100644 (file)
--- a/progress.scala
+++ b/progress.scala
@@ -90,8 +90,8 @@ trait OperationReporter extends BaseReporter {
   def step(detail: String);
 }
 
-def withReporter[T, R <: BaseReporter]
-       (rep: R, body: R => T): T = {
+def withReporter[T, P <: BaseReporter]
+       (rep: P, body: P => T): T = {
   val ret = try { body(rep) }
   catch { case e: Exception => rep.failed(e); throw e; }
   rep.done();