printer: fix printing of strings containing special characters

xdslproject · Jan 18, 2023 · 856339e · 856339e
1 parent e63d6d4
commit 856339e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/xdsl/printer.py b/xdsl/printer.py
@@ -1,5 +1,6 @@
 from __future__ import annotations
 
+import json
 from dataclasses import dataclass, field
 from enum import Enum
 from frozenlist import FrozenList
@@ -296,7 +297,7 @@ def print_paramattr_parameters(
         self.print(">")
 
     def print_string_literal(self, string: str):
-        self.print(f'"{string}"')
+        self.print(json.dumps(string))
 
     def print_attribute(self, attribute: Attribute) -> None:
         if isinstance(attribute, UnitAttr):