3 Jun
2011
3 Jun
'11
10:32 a.m.
On Fri, 03 Jun 2011 12:19:31 +0300, Guy
On 03/06/2011 12:01, Malcolm Wallace wrote:
I believe the motivating example that persuaded the Language Committee to allow these symbols was --> which is not of course used anywhere in the standard libraries, but is an extremely nice symbol to have available in user code.
Seeing as no library actually defines such a symbol, is it worth forcing an extra space into comments? [..]
That's not true, xmonad[0] for example defines a -->-operator; and I would find making exceptions for --| and --^ very inconsistent and annoying. [0] http://xmonad.org/xmonad-docs/xmonad/XMonad-ManageHook.html#v%3A--%3E