31 Jan
2007
31 Jan
'07
10:11 p.m.
On 1/31/07, Conor McBride <ctm@cs.nott.ac.uk> wrote:
So, as far as Haskell' is concerned, I'd favour forbidding non-empty cases, but only because I favour having some more explicit syntax for empty cases, further down the line.
I see nothing wrong with "case x of {}", with required braces. The layout rule never generates empty braces. -- Taral <taralx@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem