Re: Successor patterns in bindings and n+k patterns

[hudak-paul]

  And now for a little quiz.  What's the value of the following (legal)
  Haskell expression?  (Don't try it with hbc, it fails.)

        let (+) + 1 + 1 = (+)
        in  1 + 1

This is illegal syntax!!  (+) and (the second) + are the same
variable, thus violating the linearity constraint for left-hand-sides!
It should be as illegal as writing something like:

  f f = 1

Isn't that OBVIOUS??  (:-)

-Paul