I'd like to suggest a small change to paper n1613 - "Proposal to add Design
by Contract to C++". I think that the ':' symbol (meaning 'otherwise') used
in precondition blocks should be exchanged for 'else' keyword. That is the
example

    in
    {
      r > 0.0: throw bad_input();
    }

should look like this:

    in
    {
      r > 0.0 else throw bad_input();
    }

I can list at least two reasons for this:
1. 'else' is much more meaningful and obvious than ':', it's easier to
understand the code,
2. 'else' is much more readable, especially in long expressions or those
containing the ?: operator.

Greetings,
RK


---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html                       ]