1 Feb
2007
1 Feb
'07
6:11 a.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