-
Simon Marlow authored
Tabs aren't guaranteed to be 8 spaces on every output device, so we shouldn't be using them. Instead I added a little optimisation to use chunks of 8 spaces for long indentations.
b23eb7d8
Tabs aren't guaranteed to be 8 spaces on every output device, so we shouldn't be using them. Instead I added a little optimisation to use chunks of 8 spaces for long indentations.