On 5 October 2010 17:38, Henning Thielemann
Richard O'Keefe schrieb:
I'd prefer to see something like \ 1 -> f | 2 -> g but I'm sure something could be worked out.
In order to be consistent with current case, maybe in layout mode:
\1 -> f 2 -> g
and in non-layout mode
\{1 -> f; 2 -> g}
Duncan Coutts also suggested this possibility to me - once I saw it actually liked it rather better than the lambda-case stuff, particularly since it generalises nicely to multiple arguments. I may try to write a patch for this extension instead when I get some free time. To those asking where lambda-if comes from: it was just something I hacked in while I was there - I don't have a particular motivation example. It just seemed like a natural extension of the lambda-case idea. Cheers, Max