Switch from pretty-simple to pretty-show for native output.

Update tests.

Reason:  it turns out that the native output generated by
pretty-simple isn't always readable by the native reader.
According to https://github.com/cdepillabout/pretty-simple/issues/99
it is not a design goal of the library that the rendered values
be readable using 'read'.  This makes it unsuitable for our
purposes.

pretty-show is a bit slower and it uses 4-space indents
(non-configurable), but it doesn't have this serious drawback.

1 files changed, 18 insertions, 18 deletions

diff --git a/test/command/4743.md b/test/command/4743.md
index 08c807c9f..582540736 100644
--- a/test/command/4743.md
+++ b/test/command/4743.md
@@ -5,15 +5,15 @@ Test that emojis are wrapped in Span
 My:thumbsup:emoji:heart:
 ^D
 [ Para
-  [ Str "My"
-  , Span
-    ( "", [ "emoji" ], [ ( "data-emoji", "thumbsup" ) ] )
-    [ Str "\128077" ]
-  , Str "emoji"
-  , Span
-    ( "", [ "emoji" ], [ ( "data-emoji", "heart" ) ] )
-    [ Str "\10084\65039" ]
-  ]
+    [ Str "My"
+    , Span
+        ( "" , [ "emoji" ] , [ ( "data-emoji" , "thumbsup" ) ] )
+        [ Str "\128077" ]
+    , Str "emoji"
+    , Span
+        ( "" , [ "emoji" ] , [ ( "data-emoji" , "heart" ) ] )
+        [ Str "\10084\65039" ]
+    ]
 ]
 ```
 
@@ -22,15 +22,15 @@ My:thumbsup:emoji:heart:
 My:thumbsup:emoji:heart:
 ^D
 [ Para
-  [ Str "My"
-  , Span
-    ( "", [ "emoji" ], [ ( "data-emoji", "thumbsup" ) ] )
-    [ Str "\128077" ]
-  , Str "emoji"
-  , Span
-    ( "", [ "emoji" ], [ ( "data-emoji", "heart" ) ] )
-    [ Str "\10084\65039" ]
-  ]
+    [ Str "My"
+    , Span
+        ( "" , [ "emoji" ] , [ ( "data-emoji" , "thumbsup" ) ] )
+        [ Str "\128077" ]
+    , Str "emoji"
+    , Span
+        ( "" , [ "emoji" ] , [ ( "data-emoji" , "heart" ) ] )
+        [ Str "\10084\65039" ]
+    ]
 ]
 ```