Re: [Haskell-cafe] extra semi-colons

The rule "alt" allows "(empty alternative)"

Ah, yes. But no? The standard says

A case expression must have at least one alternative and each alternative must have at least one body.

Should this be "each non-empty alternative must have ..."? I think the intention is to allow case () of () | False -> () | True -> () (one alternative, two bodies) but to disallow case () of () (one alternative, no body) - J.