# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1729227544 -3600
# Node ID 140bf7b1c548f731122b2e16b4762956ee84faba
# Parent  79cfee5e170bffb0a74fe18e786b38ad6c8770cf
updated

diff -r 79cfee5e170b -r 140bf7b1c548 progs/lexer/lexer.sc
--- 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)]) =