show unicode characters without escaping

anoma · May 24, 2023 · 35ea0df · 35ea0df
1 parent 4fcb881
commit 35ea0df
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 1 deletion.
diff --git a/package.yaml b/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.*

diff --git a/src/Juvix/Data/CodeAnn.hs b/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

diff --git a/src/Juvix/Prelude/Base.hs b/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 (ushow, urecover)
 import Prelude (Double)
 
 --------------------------------------------------------------------------------

diff --git a/tests/positive/Format.juvix b/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