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
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
