Re: DIP 1003: remove `body` as a keyword

[meppl via Digitalmars-d-announce]

Indentation syntax

If we have an optional indentation syntax one day, those 
anonymous looking scopes behind functions may become weird things.

int div(int a, int b)
in { assert(b != 0); }
{
    return a / b;
}

indentation:

int div( int a, int b)
in:
    assert( b != 0)
:
    return a / b



And i like two proposals of this thread here who are not part of 
the DIP:


Kagamin's proposal to just use a shorter keyword than "body" or 
"function".

int div(int a, int b)
in { assert(b != 0); }
do
{
    return a / b;
}


Sönke Ludwigs suggestion:

Really nice would be if "in" and "out" would then also take a 
general statement instead of just a block statement, so that a 
syntax like this would become possible for simple contracts:

    void foo(int a, int b)
      in assert(0 <= a && a < b);
      out(ret) assert(ret < b);
    {
      return b - 1 - a;
    }