
On 3 June 2011 20:32, Daniel Schoepe
On Fri, 03 Jun 2011 12:19:31 +0300, Guy
wrote: 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
I _knew_ I had seen "-->" somewhere... *glares at Hayoo for not returning said results*. -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com