Call to arms: lambda-case is stuck and needs your help

[Mikhail Vorozhtsov]

On 07/06/2012 04:33 AM, Twan van Laarhoven wrote:
> On 2012-07-05 23:04, Edward Kmett wrote:
>> A similar generalization can be applied to the expression between case
>> and of
>> to permit a , separated list of expressions so this becomes applicable
>> to the
>> usual case construct. A naked unparenthesized , is illegal there
>> currently as
>> well. That would effectively be constructing then matching on an unboxed
>> tuple without the (#, #) noise, but that can be viewed as a separate
>> proposal' then the above is just the elision of the case component of:
>
> Should that also generalize to nullarry 'case of'? As in
>
>      foo = case of
>             | guard1 -> bar
>             | guard2 -> baz
>
> instead of
>
>      foo = case () of
>          () | guard1 -> bar
>             | guard2 -> baz
>
>
>
> I realize this is getting off-topic, and has become orthogonal to the
> single argument λcase proposal.
Yes, there is a separate proposal for that: 
http://hackage.haskell.org/trac/haskell-prime/wiki/MultiWayIf