diagnostics' identifier quoting style

[Isaac Dupree]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Here's a random message selected from building GHC:
Warning: Defined but not used: `res_ty''
(the identifier is "res_ty{PRIME}", where {PRIME} is the ' mark)

Note that quotes are left:` (grave accent) and right:' (ASCII single
quote).  Besides this being theoretically incorrect, identifiers can
include the ' symbol (generally meaning more like "prime" than "single
quote"...), making this look odd.  Maybe it should show the
identifier-string so that it just has ordinary double-quotes around it?,
looking like:
Warning: Defined but not used: "res_ty'"


Isaac
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.3 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGIBIQHgcxvIWYTTURAt5TAKC7Rkbgqr7RsuGEMgyXsMm7kbiIswCdHGs2
lJY8FH7CR8YXwJ47g+0gNWw=
=ptnw
-----END PGP SIGNATURE-----