Here, the "■" character represents a line-ending space.
It appears that spaces come after a string (like "sample.pdf"), but not after a number (like 1).
The reason it would be nice to fix this is because sometimes I use the pretty-simple executable to format stuff in my editor, but I have my editor setup to highlight lines ending with a space (in order to not have any trailing space characters that I don't intend).
When trying to pretty-print a datatype like the following:
I get an output like the following:
Here, the "■" character represents a line-ending space.
It appears that spaces come after a string (like
"sample.pdf"
), but not after a number (like1
).The reason it would be nice to fix this is because sometimes I use the
pretty-simple
executable to format stuff in my editor, but I have my editor setup to highlight lines ending with a space (in order to not have any trailing space characters that I don't intend).