diff -r eda0ccf56c72 -r 47acfd7f9096 progs/fun/fun.sc
--- a/progs/fun/fun.sc	Sat Nov 11 10:08:33 2023 +0000
+++ b/progs/fun/fun.sc	Fri Nov 17 20:06:43 2023 +0000
@@ -74,7 +74,7 @@
 import scala.language.reflectiveCalls
 
 // convenience for code-generation (string interpolations)
-implicit def sring_inters(sc: StringContext) = new {
+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