pandoc/test/command/4845.md

```
% pandoc -f html -t native
x<a href="/foo"> leading trailing space </a>x
^D
[ Plain
    [ Str "x"
    , Space
    , Link
        ( "" , [] , [] )
        [ Str "leading"
        , Space
        , Str "trailing"
        , Space
        , Str "space"
        ]
        ( "/foo" , "" )
    , Space
    , Str "x"
    ]
]
```
HTML reader: extract spaces inside links instead of trimming them Fixes #4845 2018-08-22 11:16:57 +02:00			```
			`% pandoc -f html -t native`
			`x<a href="/foo"> leading trailing space </a>x`
			`^D`
Use pretty-simple to format native output. Previously we used our own homespun formatting. But this produces over-long lines that aren't ideal for diffs in tests. Easier to use something off-the-shelf and standard. Closes #7580. Performance is slower by about a factor of 10, but this isn't really a problem because native isn't suitable as a serialization format. (For serialization you should use json, because the reader is so much faster than native.) 2021-09-19 21:09:51 +02:00			`[ Plain`
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. 2021-09-29 06:17:53 +02:00			`[ Str "x"`
			`, Space`
			`, Link`
			`( "" , [] , [] )`
			`[ Str "leading"`
			`, Space`
			`, Str "trailing"`
			`, Space`
			`, Str "space"`
			`]`
			`( "/foo" , "" )`
			`, Space`
			`, Str "x"`
			`]`
Use pretty-simple to format native output. Previously we used our own homespun formatting. But this produces over-long lines that aren't ideal for diffs in tests. Easier to use something off-the-shelf and standard. Closes #7580. Performance is slower by about a factor of 10, but this isn't really a problem because native isn't suitable as a serialization format. (For serialization you should use json, because the reader is so much faster than native.) 2021-09-19 21:09:51 +02:00			`]`
HTML reader: extract spaces inside links instead of trimming them Fixes #4845 2018-08-22 11:16:57 +02:00			```