By: Tom Sydney Kerckhove <syd@cs-syd.eu>
Keep the whitespace within a comment The lexer stripped the text of a comment, so a comment that lined something up lost its alignment when the file was formatted. The marker is the whole "-- ", including the space, so dropping just the two dashes left that space in the text. Stripping made the space come back out as one again, at the cost of every other space. Dropping the marker instead keeps the text exactly as written. The generator stripped to match, which is why the roundtrip property did not catch this.
Total
2m34s
Created Started Finished
| Time to Start | Worker time | Duration | Time to finish | Idle | |
|---|---|---|---|---|---|
| Config | 0s | 2s | 2s | 2s | 0s |
| Eval | 2s | 14s | 14s | 16s | 0s |
| Build | 15s | 4m28s | 2m19s | 2m34s | 0s |
| Suite | 0s | 4m44s | 2m34s | 2m34s | 0s |