Update main.rs

KajizukaTaichi · Jan 3, 2025 · 47e8ef3 · 47e8ef3
1 parent eea1b93
commit 47e8ef3
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/main.rs b/src/main.rs
@@ -1252,7 +1252,12 @@ impl Type {
     fn get_symbol(&self) -> String {
         match self {
             Type::Symbol(s) => s.to_string(),
-            Type::Text(s) => format!("\"{s}\""),
+            Type::Text(text) => format!(
+                "\"{}\"",
+                text.replace("'", "\\'")
+                    .replace("\"", "\\\"")
+                    .replace("`", "\\`")
+            ),
             Type::Number(n) => n.to_string(),
             Type::Null => "null".to_string(),
             Type::Function(Function::BuiltIn(obj)) => format!("λx.{obj:?}"),