diff -r 787ef75ec006 -r 791f4d9f53e1 progs/fun/fun_tokens.sc
--- a/progs/fun/fun_tokens.sc	Wed May 29 13:25:30 2024 +0100
+++ b/progs/fun/fun_tokens.sc	Thu Sep 19 15:47:33 2024 +0100
@@ -8,6 +8,7 @@
 //     amm fun_tokens.sc defs.fun
 //
 
+//> using toolkit 0.5.0
  
 
 import scala.language.implicitConversions    
@@ -41,7 +42,7 @@
   charlist2rexp(s.toList)
 
 extension (s: String) {
-  def $ (r: Rexp) = RECD(s, r)
+  infix def $ (r: Rexp) = RECD(s, r)
 }
 
 extension (r: Rexp) {
@@ -252,7 +253,7 @@
 // import os._
 
 //@doc("Tokenising a file.")
-@main
+//@main
 def main(fname: String) = {
   println(tokenise(os.read(os.pwd / fname)))
 }