Preserve escaped " in String literals

Co-authored-by: janmasrovira <janmasrovira@gmail.com>
anoma · Apr 18, 2023 · b362672 · b362672
1 parent 96822c0
commit b362672
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 6 deletions.
diff --git a/src/Juvix/Data/CodeAnn.hs b/src/Juvix/Data/CodeAnn.hs
@@ -238,12 +238,7 @@ endSemicolon :: Doc Ann -> Doc Ann
 endSemicolon x = x <> kwSemicolon
 
 ppStringLit :: Text -> Doc Ann
-ppStringLit = annotate AnnLiteralString . doubleQuotes . escaped
-  where
-    showChar :: Char -> String
-    showChar c = showLitChar c ("" :: String)
-    escaped :: Text -> Doc a
-    escaped = mconcatMap (pretty . showChar) . unpack
+ppStringLit = annotate AnnLiteralString . pretty @Text . show
 
 bracesIndent :: Doc Ann -> Doc Ann
 bracesIndent = braces . blockIndent

diff --git a/tests/positive/Format.juvix b/tests/positive/Format.juvix
@@ -46,6 +46,10 @@ t3 :=
     , "k"
     , "1234";
 
+-- escaping in String literals
+e1 : String;
+e1 := "\"\n";
+
 infixl 7 +l7;
 axiom +l7 : String → String → String;