You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The commit message in 35bb83b, which switched cryptol to use the more modern prettyprinter library, mentions this explicitly as a drawback:
The one somewhat negative outcome of this change is that the "line fill" algorithm in prettyprinter works a bit different and makes choices about where to break lines that are arguably less desirable than before. When laying out structures nested inside sequences, it is more likely to break a line inside a substructure, whereas the old algorithm prefered to break lines between elements of the outer sequence.
Here's an example that shows line breaks that fall inside inner tuples:
The combinator is altered so that if a list item cannot be laid
out on a single line, then we insert a linebreak before it so that
it starts on its own line.
Fixes#1275.
The commit message in 35bb83b, which switched cryptol to use the more modern
prettyprinter
library, mentions this explicitly as a drawback:Here's an example that shows line breaks that fall inside inner tuples:
In cryptol-2.11 the same expression was printed much more nicely:
The new output is harder to read. We should change it to produce output like before.
The text was updated successfully, but these errors were encountered: