6 Aug
2004
6 Aug
'04
2:06 p.m.
"Simon Marlow"
The backtick is not a quotation mark - it looks ok in some fonts (eg. the X11 misc fonts), but not in others. There's an article somewhere on the web that describes why backticks should not be used as single quotes, I can probably dig it up if anyone's interested.
I'm sure that every terminal font I have used since 1987 had quote and back-quote characters rendered symmetrically, until about three years ago, when suddenly both characters became ugly and they no longer balanced. I've been wondering what happened ever since...
Any objections to changing this in Text.PrettyPrint.HughesPJ?
No objections! Regards, Malcolm