X-Comment1: #############################################################
X-Comment2: # uk.ac.glasgow.cs has changed to uk.ac.glasgow.dcs #
X-Comment3: # If this address does not work please ask your mail #
X-Comment4: # administrator to update your NRS & mailer tables. #
X-Comment5: #############################################################
| 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
