--- a/progs/lexer/lex.sc	Sat Dec 02 21:37:04 2023 +0000
+++ b/progs/lexer/lex.sc	Wed Feb 21 09:14:12 2024 +0000
@@ -35,8 +35,8 @@
   case c::Nil => CHAR(c)
   case c::s => SEQ(CHAR(c), charlist2rexp(s))
 }
-implicit def string2rexp(s : String) : Rexp = 
-  charlist2rexp(s.toList)
+
+given Conversion[String, Rexp] = (s => charlist2rexp(s.toList))
 
 val HELLO : Rexp = "hello"
 
@@ -181,7 +181,7 @@
 // Two Simple While Tests
 //========================
 
-@arg(doc = "small tests")
+//@arg(doc = "small tests")
 @main
 def small() = {