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

Twan van Laarhoven twanvl at
Thu Jul 5 23:33:12 CEST 2012

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.


More information about the Glasgow-haskell-users mailing list