--- a/progs/lexer/lexer.sc	Fri Oct 18 05:45:14 2024 +0100
+++ b/progs/lexer/lexer.sc	Fri Oct 18 05:59:04 2024 +0100
@@ -238,9 +238,7 @@
 
 // escapes strings and prints them out as "", "\n" and so on
 def esc(raw: String): String = {
-  raw
-  //import scala.reflect.runtime.universe._
-  //Literal(Constant(raw)).toString
+  "\"" + raw.replaceAll("\\n", "\\\\n").replaceAll ("\\t", "\\\\t") + "\""
 }
 
 def escape(tks: List[(String, String)]) =