more syntax fixes

Author: odersky

examples/src/main/scala/FilterServer.scala

@@ -52,7 +52,7 @@ package object implementation {
             lastForwarded = i2
             send(o, y) >>
             loop(RecX)
-          } 
+          }
         }
       }
     }
@@ -71,7 +71,7 @@ package object implementation {
         } else {
           send(o, y) >>
           loop(RecX)
-        } 
+        }
       }
     }
   }
@@ -89,12 +89,12 @@ package object implementation {
     par(
       producer(data1),
       producer(data2),
-      receive(cm) { code: FilterCode => 
+      receive(cm) { (code: FilterCode) =>
         code(data1, data2, o)
       }
     )
   }
-} 
+}
 
 // To run this example, try:
 //   sbt "examples/runMain effpi.examples.filterserver.Main"

examples/src/main/scala/demo/MiniAudit.scala

@@ -51,7 +51,7 @@ package object implementation {
   @verify(property = "reactive(mb_)(aud) && responsive(mb_)(aud) && output_eventually_followed(aud)(Accepted)(mb_)")
   def payment(aud: ActorRef[Audit[_]]): Actor[Pay, Payment[aud.type]] = {
     forever {
-      read { pay: Pay =>
+      read { (pay: Pay) =>
         if (pay.amount > 42000) {
           send(pay.replyTo, Rejected())
         } else {
@@ -64,7 +64,7 @@ package object implementation {
 
   def auditor: Actor[Audit[_], Process] = forever {
     println(s"Auditor: waiting for notification...")
-    read { audit: Audit[_] =>
+    read { (audit: Audit[_]) =>
       println(s"Auditor: received notification for payment: ${audit.payment}")
       nil
     }
@@ -73,7 +73,7 @@ package object implementation {
   def client(id: Int, pay: ActorRef[Pay], amount: Int): Actor[Result, Process] = {
     println(s"Client: trying to pay €${amount}...")
     send(pay, Pay(amount, self)) >>
-    read { result: Result =>
+    read { (result: Result) =>
       result match {
         case Accepted() => {
           println(s"Client ${id}: payment of €${amount} accepted")
@@ -101,7 +101,7 @@ object Main {
     println("Running demo...")
     val auditRef = Actor.spawn(Behavior[Audit[_], Process](auditor))
     val paymentRef = Actor.spawn(Behavior[Pay, Process](payment(auditRef)))
-    
+
     for (i <- 1 to 10) {
       Actor.spawn(Behavior[Result, Process](client(i, paymentRef, i * 10000)))
     }

examples/src/main/scala/verifier/Process.scala

@@ -50,7 +50,7 @@ object ProcessVerifExamples {
                (implicit timeout: Duration): Process3Cont[c1.type, c2.type] = {
     println("P2: Sending 42, waiting for answer")
     send(c1, 42) >>
-    receive(c2) { x: String =>
+    receive(c2) { (x: String) =>
       println(s"P2: Received: ${x}")
       nil
     }
@@ -64,7 +64,7 @@ object ProcessVerifExamples {
   //  fork(test3spawn(c1, c2)) >>
   //  test3cont(c1, c2)
   //}
-  
+
   @verify(property = "no_output_use(c2)")
   def test_no_output_use(c1: Channel[Int],
                          c2: Channel[String]): Out[c1.type, Int] = ???