diff options
| author | John MacFarlane <[email protected]> | 2021-09-28 21:17:53 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2021-09-28 21:17:53 -0700 |
| commit | 0bdcf415e4eff83ad8e35c1d41c8a28e0bbd5da1 (patch) | |
| tree | c9bda08418e67755254ad2d1d2e95dd691bd1902 /test/command/lstlisting.md | |
| parent | 8018179b3df34cd7fdbd77c7a08b21fd8d5b5b31 (diff) | |
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.
Diffstat (limited to 'test/command/lstlisting.md')
| -rw-r--r-- | test/command/lstlisting.md | 41 |
1 files changed, 17 insertions, 24 deletions
diff --git a/test/command/lstlisting.md b/test/command/lstlisting.md index 202a9d524..2ea8b4ba7 100644 --- a/test/command/lstlisting.md +++ b/test/command/lstlisting.md @@ -9,17 +9,14 @@ public class World { \end{lstlisting} ^D [ CodeBlock - ( "lst:Hello-World" - , [ "java" ] - , - [ - ( "language", "Java" ) - , - ( "caption", "Java Example" ) - , - ( "label", "lst:Hello-World" ) - ] - ) "public class World {\n public static void main(String[] args) {\n System.out.println(\"Hello World\");\n }\n}" + ( "lst:Hello-World" + , [ "java" ] + , [ ( "language" , "Java" ) + , ( "caption" , "Java Example" ) + , ( "label" , "lst:Hello-World" ) + ] + ) + "public class World {\n public static void main(String[] args) {\n System.out.println(\"Hello World\");\n }\n}" ] ``` @@ -34,18 +31,14 @@ public class World { \end{lstlisting} ^D [ CodeBlock - ( "lst:Hello-World" - , [ "java" ] - , - [ - ( "language", "Java" ) - , - ( "escapechar", "|" ) - , - ( "caption", "Java Example" ) - , - ( "label", "lst:Hello-World" ) - ] - ) "public class World {\n public static void main(String[] args) {\n System.out.println(\"Hello World\");\n }\n}" + ( "lst:Hello-World" + , [ "java" ] + , [ ( "language" , "Java" ) + , ( "escapechar" , "|" ) + , ( "caption" , "Java Example" ) + , ( "label" , "lst:Hello-World" ) + ] + ) + "public class World {\n public static void main(String[] args) {\n System.out.println(\"Hello World\");\n }\n}" ] ``` |
