Original-Via: uk.ac.nsf; Sun, 1 Dec 91 21:25:34 GMT
Original-Sender: [EMAIL PROTECTED]
I wonder if the following syntax change is not too late for the
SIGPLAN version of the Report? I actually view this as a FIX to
something I consider WRONG, since I believe (correct me if I'm wrong!)
that V1.0 permitted this.
The problem is that V1.1 does not allow things like:
f x $ \y->
g y $
...
where the fixity of $ is defined as:
infixr 0 $
Rather, one must insert parens thusly:
f x $ (\x->
g x $
...)
Writing this kind of code is extremely common when using Haskell's
continuation-based I/O, monadic programming, cps-based programming,
etc. Having to insert the parens is a royal pain. By convention,
lambda abstractions "extend as far to the right as possible", so I
don't see why we should require the parens. I think this change came
about when we did the fancy re-write of the syntax to accommodate
explicit precedence levels. Would anyone object seriously to changing
things back to the way they were?
-Paul
