--- a/src/Pure/Concurrent/future.scala Tue Feb 28 11:20:01 2023 +0000
+++ b/src/Pure/Concurrent/future.scala Tue Feb 28 14:13:50 2023 +0100
@@ -139,7 +139,8 @@
daemon: Boolean,
inherit_locals: Boolean,
uninterruptible: Boolean,
- body: => A) extends Future[A] {
+ body: => A
+) extends Future[A] {
private val result = Future.promise[A]
private val thread =
Isabelle_Thread.fork(name = name, group = group, pri = pri, daemon = daemon,
--- a/src/Pure/Concurrent/isabelle_thread.scala Tue Feb 28 11:20:01 2023 +0000
+++ b/src/Pure/Concurrent/isabelle_thread.scala Tue Feb 28 14:13:50 2023 +0100
@@ -124,9 +124,14 @@
else body
}
-class Isabelle_Thread private(main: Runnable, name: String, group: ThreadGroup,
- pri: Int, daemon: Boolean, inherit_locals: Boolean)
- extends Thread(group, null, name, 0L, inherit_locals) {
+class Isabelle_Thread private(
+ main: Runnable,
+ name: String,
+ group: ThreadGroup,
+ pri: Int,
+ daemon: Boolean,
+ inherit_locals: Boolean
+) extends Thread(group, null, name, 0L, inherit_locals) {
thread =>
thread.setPriority(pri)