Show unicode characters without escaping

package.yaml

@@ -70,6 +70,7 @@ dependencies:
   - th-utilities == 0.2.*
   - time == 1.11.*
   - transformers == 0.5.*
+  - unicode-show == 0.1.*
   - uniplate == 1.6.*
   - unix-compat == 0.5.*
   - unordered-containers == 0.2.*

src/Juvix/Data/CodeAnn.hs

@@ -251,7 +251,7 @@ endSemicolon :: Doc Ann -> Doc Ann
 endSemicolon x = x <> kwSemicolon
 
 ppStringLit :: Text -> Doc Ann
-ppStringLit = annotate AnnLiteralString . pretty @Text . show
+ppStringLit = annotate AnnLiteralString . pretty . pack . urecover . show
 
 bracesIndent :: Doc Ann -> Doc Ann
 bracesIndent = braces . blockIndent

src/Juvix/Prelude/Base.hs

@@ -8,6 +8,7 @@ module Juvix.Prelude.Base
   ( module Juvix.Prelude.Base,
     module Control.Applicative,
     module Data.Graph,
+    module Text.Show.Unicode,
     module Data.Map.Strict,
     module Data.Set,
     module Data.IntMap.Strict,
@@ -188,6 +189,7 @@ import System.IO.Error
 import Text.Read qualified as Text
 import Text.Show (Show)
 import Text.Show qualified as Show
+import Text.Show.Unicode (urecover, ushow)
 import Prelude (Double)
 
 --------------------------------------------------------------------------------

tests/positive/Format.juvix

@@ -158,6 +158,11 @@ end;
 
 import Stdlib.Prelude open using {Nat as Natural};
 
+module UnicodeStrings;
+  a : String;
+  a := "λ";
+end;
+
 module Comments;
   axiom a1 : Type;
   -- attached to a1