Fix unescaping in scala.

jmckitrick · Sep 28, 2017 · 150008c · 150008c
1 parent a7d9ace
commit 150008c
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/scala/reader.scala b/scala/reader.scala
@@ -26,7 +26,11 @@ object reader {
   }
 
   def parse_str(s: String): String = {
-    s.replace("\\\"", "\"").replace("\\n", "\n").replace("\\\\", "\\")
+    // TODO: use re.replaceAllIn instead for single pass
+    s.replace("\\\\", "\u029e")
+     .replace("\\\"", "\"")
+     .replace("\\n", "\n")
+     .replace("\u029e", "\\")
   }
 
   def read_atom(rdr: Reader): Any = {