13 Apr
2004
13 Apr
'04
10:33 a.m.
From Text.PrettyPrint.HughesPJ:
indent n | n >= 8 = '\t' : indent (n - 8) | otherwise = spaces n
I consider it seriously evil to mix tabs and spaces for indentation. *Seriously* evil. Kill-on-sight evil.
Not to mention that LaTeX's \verbatiminput does not handle tabs, which makes the result look like, well, crap.
If there are people who want to mix tabs and spaces, fine, but at least give me a flag that turns it off. Please?
He's right; tabs aren't necessarily every 8 columns everywhere, so the generic pretty printing library shouldn't make this assumption. I'll remove it, unless there are any objections. Cheers, Simon