
-----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-----