do-and-if-then-else modification

[Ross Paterson]

On Mon, Feb 19, 2007 at 11:16:03AM +0000, Malcolm Wallace wrote:
> isaac jones <ijones at galois.com> wrote:
> > Iavor and I just made the trivial modification for DoAndIfThenElse
> > 
> > Any comments on this modification?  How do people feel about the
> > suggestion that we do it for case statements as well?
> 
> I'm happy to allow the change for if-then-else.  The need for extra
> indentation there has annoyed me a few times.

The semicolon before the "else" is the most useful.  Adding another
before the "then" has less motivation.

> However, I have never come across the case-of expression variation in
> practice.  Indeed, the wiki page is not very clear on what exactly the
> problem is.

The argument regarding "case" is that if you add a semicolon before
"then", it would be consistent to also add one before "of".