# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1763576138 0
# Node ID b62c0002c735aee50d46f9d2b7024f19b4bd82b2
# Parent  5cadcc5aee02d8b04368a5e0606243fcdec4e059
updated

diff -r 5cadcc5aee02 -r b62c0002c735 progs/fun/fun.sc
--- a/progs/fun/fun.sc	Wed Nov 19 16:37:32 2025 +0000
+++ b/progs/fun/fun.sc	Wed Nov 19 18:15:38 2025 +0000
@@ -75,9 +75,9 @@
 
 // convenience for code-generation (string interpolations)
 extension (sc: StringContext) {
-  def i(args: Any*): String = "   " ++ sc.s(args:_*) ++ "\n"  // instructions
-  def l(args: Any*): String = sc.s(args:_*) ++ ":\n"          // labels
-  def m(args: Any*): String = sc.s(args:_*) ++ "\n"           // methods
+  def i(args: Any*): String = "   " ++ sc.s(args*) ++ "\n"  // instructions
+  def l(args: Any*): String = sc.s(args*) ++ ":\n"          // labels
+  def m(args: Any*): String = sc.s(args*) ++ "\n"           // methods
 }
 
 // variable / index environments
diff -r 5cadcc5aee02 -r b62c0002c735 progs/fun/funt.sc
--- a/progs/fun/funt.sc	Wed Nov 19 16:37:32 2025 +0000
+++ b/progs/fun/funt.sc	Wed Nov 19 18:15:38 2025 +0000
@@ -67,9 +67,9 @@
 // convenient string interpolations 
 // for instructions, labels and methods
 extension (sc: StringContext) {
-  def i(args: Any*): String = "   " ++ sc.s(args:_*) ++ "\n"  // instructions
-  def l(args: Any*): String = sc.s(args:_*) ++ ":\n"          // labels
-  def m(args: Any*): String = sc.s(args:_*) ++ "\n"           // methods
+  def i(args: Any*): String = "   " ++ sc.s(args*) ++ "\n"  // instructions
+  def l(args: Any*): String = sc.s(args*) ++ ":\n"          // labels
+  def m(args: Any*): String = sc.s(args*) ++ "\n"           // methods
 }