diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-09-28 21:17:53 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-09-28 21:17:53 -0700 |
| commit | 0bdcf415e4eff83ad8e35c1d41c8a28e0bbd5da1 (patch) | |
| tree | c9bda08418e67755254ad2d1d2e95dd691bd1902 /test/command/latex-color.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/latex-color.md')
| -rw-r--r-- | test/command/latex-color.md | 124 |
1 files changed, 58 insertions, 66 deletions
diff --git a/test/command/latex-color.md b/test/command/latex-color.md index ad24528ec..a1f2c3f2a 100644 --- a/test/command/latex-color.md +++ b/test/command/latex-color.md @@ -5,12 +5,11 @@ Hello \textcolor{red}{World} ^D [ Para - [ Str "Hello" - , Space - , Span - ( "", [], [ ( "style", "color: red" ) ] ) - [ Str "World" ] - ] + [ Str "Hello" + , Space + , Span + ( "" , [] , [ ( "style" , "color: red" ) ] ) [ Str "World" ] + ] ] ``` @@ -19,12 +18,11 @@ Hello \textcolor{red}{World} \textcolor{red}{Hello} World ^D [ Para - [ Span - ( "", [], [ ( "style", "color: red" ) ] ) - [ Str "Hello" ] - , Space - , Str "World" - ] + [ Span + ( "" , [] , [ ( "style" , "color: red" ) ] ) [ Str "Hello" ] + , Space + , Str "World" + ] ] ``` @@ -33,12 +31,12 @@ Hello \textcolor{red}{World} Hello \textcolor{blue}{\textbf{World}} ^D [ Para - [ Str "Hello" - , Space - , Span - ( "", [], [ ( "style", "color: blue" ) ] ) - [ Strong [ Str "World" ] ] - ] + [ Str "Hello" + , Space + , Span + ( "" , [] , [ ( "style" , "color: blue" ) ] ) + [ Strong [ Str "World" ] ] + ] ] ``` @@ -48,13 +46,13 @@ Hello \textcolor{blue}{\textbf{World}} Hello \textcolor{blue}{\textbf{World}}. ^D [ Para - [ Str "Hello" - , Space - , Span - ( "", [], [ ( "style", "color: blue" ) ] ) - [ Strong [ Str "World" ] ] - , Str "." - ] + [ Str "Hello" + , Space + , Span + ( "" , [] , [ ( "style" , "color: blue" ) ] ) + [ Strong [ Str "World" ] ] + , Str "." + ] ] ``` @@ -68,14 +66,12 @@ Hello \textcolor{blue}{\textbf{World}}. } ^D [ Div - ( "", [], [ ( "style", "color: orange" ) ] ) - [ BulletList - [ - [ Para [ Str "Item", Space, Str "1" ] ] - , - [ Para [ Str "Item", Space, Str "2" ] ] + ( "" , [] , [ ( "style" , "color: orange" ) ] ) + [ BulletList + [ [ Para [ Str "Item" , Space , Str "1" ] ] + , [ Para [ Str "Item" , Space , Str "2" ] ] + ] ] - ] ] ``` @@ -110,12 +106,12 @@ Hello \textcolor{blue}{\textbf{World}}. Hello \colorbox{red}{World} ^D [ Para - [ Str "Hello" - , Space - , Span - ( "", [], [ ( "style", "background-color: red" ) ] ) - [ Str "World" ] - ] + [ Str "Hello" + , Space + , Span + ( "" , [] , [ ( "style" , "background-color: red" ) ] ) + [ Str "World" ] + ] ] ``` @@ -138,12 +134,12 @@ Hello \colorbox{red}{World} Hello \colorbox{blue}{\textbf{World}} ^D [ Para - [ Str "Hello" - , Space - , Span - ( "", [], [ ( "style", "background-color: blue" ) ] ) - [ Strong [ Str "World" ] ] - ] + [ Str "Hello" + , Space + , Span + ( "" , [] , [ ( "style" , "background-color: blue" ) ] ) + [ Strong [ Str "World" ] ] + ] ] ``` @@ -152,13 +148,13 @@ Hello \colorbox{blue}{\textbf{World}} Hello \colorbox{blue}{\textbf{World}}. ^D [ Para - [ Str "Hello" - , Space - , Span - ( "", [], [ ( "style", "background-color: blue" ) ] ) - [ Strong [ Str "World" ] ] - , Str "." - ] + [ Str "Hello" + , Space + , Span + ( "" , [] , [ ( "style" , "background-color: blue" ) ] ) + [ Strong [ Str "World" ] ] + , Str "." + ] ] ``` @@ -174,14 +170,12 @@ Hello \colorbox{blue}{\textbf{World}}. } ^D [ Div - ( "", [], [ ( "style", "background-color: orange" ) ] ) - [ BulletList - [ - [ Para [ Str "Item", Space, Str "1" ] ] - , - [ Para [ Str "Item", Space, Str "2" ] ] + ( "" , [] , [ ( "style" , "background-color: orange" ) ] ) + [ BulletList + [ [ Para [ Str "Item" , Space , Str "1" ] ] + , [ Para [ Str "Item" , Space , Str "2" ] ] + ] ] - ] ] ``` @@ -197,15 +191,13 @@ Hello \colorbox{blue}{\textbf{World}}. } some more text ^D [ Div - ( "", [], [ ( "style", "background-color: blue" ) ] ) - [ BulletList - [ - [ Para [ Str "Item", Space, Str "1" ] ] - , - [ Para [ Str "Item", Space, Str "2" ] ] + ( "" , [] , [ ( "style" , "background-color: blue" ) ] ) + [ BulletList + [ [ Para [ Str "Item" , Space , Str "1" ] ] + , [ Para [ Str "Item" , Space , Str "2" ] ] + ] ] - ] , Para - [ Str "some", Space, Str "more", Space, Str "text" ] + [ Str "some" , Space , Str "more" , Space , Str "text" ] ] ``` |
