> 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

- Re: Successor patterns in bindings and n+k patte... Simon L Peyton Jones
- Re: Successor patterns in bindings and n+k ... kh
- Re: Successor patterns in bindings and n+k ... Bambang Nurcahyo Prastowo
- Re: Successor patterns in bindings and n+k ... smk
- Re: Successor patterns in bindings and n+k ... Joe Fasel
- Re: Successor patterns in bindings and n+k ... smk
- Re: Successor patterns in bindings and n+k ... hudak-paul
- Re: Successor patterns in bindings and n+k ... Joe Fasel
- Re: Successor patterns in bindings and n+k ... kh