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, 34 insertions, 36 deletions

diff --git a/test/command/3534.md b/test/command/3534.md
index 1be10cf62..8692007d2 100644
--- a/test/command/3534.md
+++ b/test/command/3534.md
@@ -19,24 +19,23 @@ I want to explain the interface of \lstinline{public class MyClass}.
 I want to explain the interface of \lstinline[language=Java]{public class MyClass}.
 ^D
 [ Para
-  [ Str "I"
-  , Space
-  , Str "want"
-  , Space
-  , Str "to"
-  , Space
-  , Str "explain"
-  , Space
-  , Str "the"
-  , Space
-  , Str "interface"
-  , Space
-  , Str "of"
-  , Space
-  , Code
-    ( "", [ "java" ], [] ) "public class MyClass"
-  , Str "."
-  ]
+    [ Str "I"
+    , Space
+    , Str "want"
+    , Space
+    , Str "to"
+    , Space
+    , Str "explain"
+    , Space
+    , Str "the"
+    , Space
+    , Str "interface"
+    , Space
+    , Str "of"
+    , Space
+    , Code ( "" , [ "java" ] , [] ) "public class MyClass"
+    , Str "."
+    ]
 ]
 ```
 
@@ -61,23 +60,22 @@ I want to explain the interface of \mintinline{java}|public class MyClass|.
 I want to explain the interface of \mintinline[linenos]{java}{public class MyClass}.
 ^D
 [ Para
-  [ Str "I"
-  , Space
-  , Str "want"
-  , Space
-  , Str "to"
-  , Space
-  , Str "explain"
-  , Space
-  , Str "the"
-  , Space
-  , Str "interface"
-  , Space
-  , Str "of"
-  , Space
-  , Code
-    ( "", [ "java" ], [] ) "public class MyClass"
-  , Str "."
-  ]
+    [ Str "I"
+    , Space
+    , Str "want"
+    , Space
+    , Str "to"
+    , Space
+    , Str "explain"
+    , Space
+    , Str "the"
+    , Space
+    , Str "interface"
+    , Space
+    , Str "of"
+    , Space
+    , Code ( "" , [ "java" ] , [] ) "public class MyClass"
+    , Str "."
+    ]
 ]
 ```