Original-Via: uk.ac.nsf; Fri, 6 Dec 91 22:22:13 GMT
We seem to do this every time there is a deadline. We introduce a lot of
small changes, publish them and then find we have made an error, or
that there are implications we didn't anticipate or don't like.
Please let's just make the *essential* changes:
a) allow -x as a pattern and expression
b) disallow overgeneral p+k patterns like (C a b) + k or n + k + k'
and leave anything else for the next major revision
--brian
|| From: [EMAIL PROTECTED]
||
|| I would suggest that we go ahead and allow unparenthesized lambda
|| abstractions, let-expressions, and conditionals at the right of
|| an application or inifix expression and also make case expressions aexps.
|
|I could live with allowing these as arguments of infix ops. Both of
|
| a + if x then y else z
| a . \x -> x
|
|look ok to me. But the idea of
|
| f if x then y else z
| f \x -> x+x
|
|makes me cringe. Can we get the former without the latter?
|I'd rather have neither than have both.
|
|-- P
