On 23 Apr 2009, at 9:45 pm, Lennart Augustsson wrote:
(+) + 1 + 1 = (+)
The thing that is bad about this is that it binds the
same identifier "+" twice in the head, to two different
things. It's not really any different from
(+) + 1 = (+)
which doesn't have anything to do with n+k patterns,
but is obnoxious in the same way.
If Haskell' removes the ability to bind the same name
two different ways in the same left-hand-side, I for
one won't weep, _however_ many people currently do it.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
