--- a/src/Pure/System/host.scala Thu Oct 26 11:50:50 2023 +0200
+++ b/src/Pure/System/host.scala Thu Oct 26 12:27:10 2023 +0200
@@ -40,7 +40,7 @@
case _ => None
}
- def from(s: String) =
+ def from(s: String): List[Int] =
s match {
case Range(r) => r
case _ => Nil