--- a/src/Pure/System/scala.scala Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Pure/System/scala.scala Mon Mar 01 22:22:12 2021 +0100
@@ -192,7 +192,7 @@
}
}
- private def cancel(id: String, future: Future[Unit])
+ private def cancel(id: String, future: Future[Unit]): Unit =
{
future.cancel
result(id, Scala.Tag.INTERRUPT, "")
@@ -202,7 +202,7 @@
{
msg.properties match {
case Markup.Invoke_Scala(name, id, thread) =>
- def body
+ def body: Unit =
{
val (tag, res) = Scala.function(name, msg.text)
result(id, tag, res)