
27 Jan
2015
27 Jan
'15
12:43 p.m.
On Tue, Jan 27, 2015 at 12:38:25PM +0000, Tom Ellis wrote:
Is there a particular reason that LambdaCase does not support muliple patterns? Specifically I am suggesting that
\case { pA1 pA2 pA3 -> eA, ... }
be sugar for ... Is there some technical reason that prevents it?
Correction to my sugar: \freshName1 freshName2 freshName3 -> case (freshName1, freshName2, freshName3) of { (pA1, pA2, pA3) -> eA, ... } (or in practice probably an unboxed tuple)