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
- 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