3 Commits

Include renames

Author	SHA1	Message	Date
John MacFarlane	0bdcf415e4	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-28 21:17:53 -07:00
John MacFarlane	c266734448	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-21 12:37:42 -07:00
John MacFarlane	7ca4233793	Add test for #7488.	2021-08-10 11:11:33 -07:00