src/Pure/Tools/debugger.scala

--- a/src/Pure/Tools/debugger.scala	Fri Apr 01 17:06:10 2022 +0200
+++ b/src/Pure/Tools/debugger.scala	Fri Apr 01 23:19:12 2022 +0200
@@ -171,28 +171,28 @@
   }
 
   def init(): Unit =
-    state.change(st => {
+    state.change { st =>
       val st1 = st.inc_active
       if (session.is_ready && !st.is_active && st1.is_active)
         session.protocol_command("Debugger.init")
       st1
-    })
+    }
 
   def exit(): Unit =
-    state.change(st => {
+    state.change { st =>
       val st1 = st.dec_active
       if (session.is_ready && st.is_active && !st1.is_active)
         session.protocol_command("Debugger.exit")
       st1
-    })
+    }
 
   def is_break(): Boolean = state.value.break
   def set_break(b: Boolean): Unit = {
-    state.change(st => {
+    state.change { st =>
       val st1 = st.set_break(b)
       session.protocol_command("Debugger.break", b.toString)
       st1
-    })
+    }
     delay_update.invoke()
   }
 
@@ -205,7 +205,7 @@
     state.value.active_breakpoints(breakpoint)
 
   def toggle_breakpoint(command: Command, breakpoint: Long): Unit = {
-    state.change(st => {
+    state.change { st =>
       val (breakpoint_state, st1) = st.toggle_breakpoint(breakpoint)
       session.protocol_command(
         "Debugger.breakpoint",
@@ -214,7 +214,7 @@
         Value.Long(breakpoint),
         Value.Boolean(breakpoint_state))
       st1
-    })
+    }
   }
 
   def status(focus: Option[Debugger.Context]): (Debugger.Threads, List[XML.Tree]) = {
@@ -252,22 +252,22 @@
   }
 
   def eval(c: Debugger.Context, SML: Boolean, context: String, expression: String): Unit = {
-    state.change(st => {
+    state.change { st =>
       input(c.thread_name, "eval", c.debug_index.getOrElse(0).toString,
         SML.toString, Symbol.encode(context), Symbol.encode(expression))
       st.clear_output(c.thread_name)
-    })
+    }
     delay_update.invoke()
   }
 
   def print_vals(c: Debugger.Context, SML: Boolean, context: String): Unit = {
     require(c.debug_index.isDefined)
 
-    state.change(st => {
+    state.change { st =>
       input(c.thread_name, "print_vals", c.debug_index.getOrElse(0).toString,
         SML.toString, Symbol.encode(context))
       st.clear_output(c.thread_name)
-    })
+    }
     delay_update.invoke()
   }
 }