Re: Successor patterns in bindings and n+k patterns

[kh]

> 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

Given infixl 6 + (since you can't change this without renaming!):

        (+) + 1   + 1
==>     lpat6     + pat7
        var + int + pat

so I'd expect the answer to be 0.  glhc and gofer both agree with me.

Kevin