quoting in error messages

[Simon Marlow]

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