--- a/src/Pure/Concurrent/consumer_thread.scala Tue Sep 07 10:17:03 2021 +0200
+++ b/src/Pure/Concurrent/consumer_thread.scala Tue Sep 07 15:02:53 2021 +0200
@@ -98,9 +98,9 @@
for { (Some(req), Some(res)) <- reqs.map(Some(_)).zipAll(results.map(Some(_)), None, None) }
{
(req.ack, res) match {
- case ((Some(a), _)) => a.change(_ => Some(res))
- case ((None, Exn.Res(_))) =>
- case ((None, Exn.Exn(exn))) => failure(exn)
+ case (Some(a), _) => a.change(_ => Some(res))
+ case (None, Exn.Res(_)) =>
+ case (None, Exn.Exn(exn)) => failure(exn)
}
}