diagnostics' identifier quoting style

[Simon Peyton-Jones]

A reasonable point.  It's one of those matters of taste -- there will be people who hate double-quotes too. Yet another flag?

Really we should use colours etc.  Any volunteers?

Simon

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-users-bounces at haskell.org] On
| Behalf Of Isaac Dupree
| Sent: 14 April 2007 00:28
| To: GHC Users
| Subject: diagnostics' identifier quoting style
|
| -----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-----
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users