24 Jan
2022
24 Jan
'22
4:32 p.m.
On Mon, Jan 24, 2022 at 09:28:32PM +0000, Tom Ellis wrote:
I don't think that can be the reason. It is possible to have a single clause with multiple guards:
bar | False = () | True = ()
It's just not possible to have multiple clauses if one of them is guarded, apparently.
Or rather "even if one of them is guarded". It's a bit more understandable to forbid multiple clauses if the first one isn't guarded.