Henrik Nilsson wrote:
> What do others think? It'd be dead easy to replace
> `thing'
> by
> "thing"
> in GHC's error messages, if that's what a majority want.
Double quotes looks preferable to me.
All the best,
We should be using Unicode left/right single quotes if the locale
supports it (U+2018, U+2019). Better still, use a different color for
quoted code fragments if the terminal supports it.
Double quotes would be slightly preferable to the existing grotesque use
of the grave accent as a left quotation mark, I suppose (but would break
a *lot* of tests :-).
Cheers,
Simon
| 